default search action
Yoshihiro Maruyama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c37]Vincent Abbott, Tom Xu, Yoshihiro Maruyama:
Category Theory for Artificial General Intelligence. AGI 2024: 119-129 - [c36]Arisa Yasuda, Yoshihiro Maruyama:
Human-Robot Trust in the Age of Artificial General Intelligence: The Case of Care Robots. AGI 2024: 218-227 - [c35]Arisa Yasuda, Yoshihiro Maruyama:
From Artificial General Intelligence to Artificial General Universe: Metaverse Ethics as an Amplification of AI/AGI Ethics. AGI 2024: 228-237 - [c34]Florrie Verity, Yoshihiro Maruyama:
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC 2024: 225-242 - 2023
- [c33]Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
Computing with Categories in Machine Learning. AGI 2023: 244-254 - [c32]Yoshihiro Maruyama, Frank Zhang:
A Reasoning System for Time and Vagueness. FUZZ 2023: 1-6 - [i6]Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
Computing with Categories in Machine Learning. CoRR abs/2303.04156 (2023) - 2022
- [j8]Michael Timothy Bennett
, Yoshihiro Maruyama
Philosophical Specification of Empathetic Ethical Artificial Intelligence. IEEE Trans. Cogn. Dev. Syst. 14(2): 292-300 (2022) - [c31]Yoshihiro Maruyama:
Human-Computer Interaction and Coevolution in Science AI Robotics. HCI (49) 2022: 523-531 - [c30]Tom Xu, Noel Hinton, Michael Timothy Bennett, Yoshihiro Maruyama:
Natural Language Processing for Scientific Paper Evaluation: Comparing Human and Machine Judgements. HCI (49) 2022: 707-712 - [i5]Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
A Probabilistic Generative Model of Free Categories. CoRR abs/2205.04545 (2022) - 2021
- [j7]Yoshihiro Maruyama:
Category theory and foundations of life science: A structuralist perspective on cognition. Biosyst. 203: 104376 (2021) - [j6]Yoshihiro Maruyama:
Quantum contextuality and cognitive contextuality: The significance of violations of Bell-type inequalities. Biosyst. 208: 104472 (2021) - [j5]Yoshihiro Maruyama:
Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation. J. Symb. Log. 86(3): 1189-1213 (2021) - [c29]Michael Timothy Bennett
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. AGI 2021: 45-54 - [c28]Yoshihiro Maruyama:
Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI. AGI 2021: 127-138 - [c27]Yoshihiro Maruyama:
Moral Philosophy of Artificial General Intelligence: Agency and Responsibility. AGI 2021: 139-150 - [c26]Tom Xu, Yoshihiro Maruyama:
Neural String Diagrams: A Universal Modelling Language for Categorical Deep Learning. AGI 2021: 306-315 - [c25]Yoshihiro Maruyama:
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory. FUZZ-IEEE 2021: 1-6 - [c24]Yoshihiro Maruyama:
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems. FUZZ-IEEE 2021: 1-6 - [c23]Yoshihiro Maruyama:
Exploring Human-Computer Interaction in Mathematics: From Voevodsky's Univalent Foundations of Mathematics to Mochizuki's IUT-Theoretic Proof of the ABC Conjecture. HCI (5) 2021: 75-91 - [c22]Yoshihiro Maruyama:
Learning, Development, and Emergence of Compositionality in Natural Language Processing. ICDL 2021: 1-7 - [i4]Michael Timothy Bennett, Yoshihiro Maruyama:
Intensional Artificial Intelligence: From Symbol Emergence to Explainable and Empathetic AI. CoRR abs/2104.11573 (2021) - [i3]Michael Timothy Bennett, Yoshihiro Maruyama:
Philosophical Specification of Empathetic Ethical Artificial Intelligence. CoRR abs/2107.10715 (2021) - [i2]Michael Timothy Bennett, Yoshihiro Maruyama:
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. CoRR abs/2110.01831 (2021) - 2020
- [c21]Yoshihiro Maruyama:
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. RAMiCS 2020: 187-203 - [c20]Yoshihiro Maruyama:
The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. AGI 2020: 242-251 - [c19]Yoshihiro Maruyama:
First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory. FUZZ-IEEE 2020: 1-8 - [c18]Yoshihiro Maruyama:
Universal Stone Duality via the Concept of Topological Dualizability and its Applications to Many-Valued Logic. FUZZ-IEEE 2020: 1-8 - [c17]Yoshihiro Maruyama:
Rationality, Cognitive Bias, and Artificial Intelligence: A Structural Perspective on Quantum Cognitive Science. HCI (7) 2020: 172-188 - [c16]Yoshihiro Maruyama:
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. SEFM 2020: 129-146 - [i1]Masashi Fukuhara
Feature visualization of Raman spectrum analysis with deep convolutional neural network. CoRR abs/2007.13354 (2020)
2010 – 2019
- 2019
- [c15]Yoshihiro Maruyama:
Contextuality Across the Sciences: Bell-Type Theorems in Physics and Cognitive Science. CONTEXT 2019: 147-160 - [c14]Yoshihiro Maruyama:
Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning. CONTEXT 2019: 161-174 - [c13]Yoshihiro Maruyama:
The Categorical Integration of Symbolic and Statistical AI: Quantum NLP and Applications to Cognitive and Machine Bias Problems. ISDA 2019: 466-476 - [c12]Yoshihiro Maruyama:
Post-Truth AI and Big Data Epistemology: From the Genealogy of Artificial Intelligence to the Nature of Data Science as a New Kind of Science. ISDA 2019: 540-549 - 2017
- [c11]Yoshihiro Maruyama:
The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences. PT-AI 2017: 194-206 - [c10]Yoshihiro Maruyama:
Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI. PT-AI 2017: 207-211 - 2016
- [b1]Yoshihiro Maruyama:
Meaning and duality : from categorical logic to quantum physics. University of Oxford, UK, 2016 - [j4]Yoshihiro Maruyama:
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism. Synth. 193(11): 3483-3495 (2016) - [p1]Yoshihiro Maruyama:
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics. Advances in Proof-Theoretic Semantics 2016: 95-114 - 2013
- [c9]Yoshihiro Maruyama:
From Operational Chu Duality to Coalgebraic Quantum Symmetry. CALCO 2013: 220-235 - [c8]Yoshihiro Maruyama:
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. CSL 2013: 500-520 - [c7]Yoshihiro Maruyama:
AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited. PT-AI 2013: 115-127 - [c6]Yoshihiro Maruyama:
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. WoLLIC 2013: 211-225 - [c5]Yoshihiro Maruyama:
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. QPL 2013: 100-112 - 2011
- [j3]Yoshihiro Maruyama:
Dualities for Algebras of Fitting's Many-Valued Modal Logics. Fundam. Informaticae 106(2-4): 273-294 (2011) - [c4]Yoshihiro Maruyama:
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. IJCAI 2011: 1008-1013 - 2010
- [j2]Yoshihiro Maruyama:
Fundamental results for pointfree convex geometry. Ann. Pure Appl. Log. 161(12): 1486-1501 (2010) - [j1]Yoshihiro Maruyama:
Fuzzy Topology and Lukasiewicz Logics from the Viewpoint of Duality Theory. Stud Logica 94(2): 245-269 (2010)
2000 – 2009
- 2009
- [c3]Yoshihiro Maruyama:
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. ICLA 2009: 170-184 - [c2]Shinji Ameda, Kumiko Arai, Tomonori Isogaya, Taiki Ito, Chihiro Iwamoto, Mari Kameyama, Haruki Kato, Yoshihiro Maruyama, Satoko Matsumaru, Hiroki Matsuoka, Takato Nakai, Moemi Nakano, Kumiko Obora, Naomi Ogura, Koichi Okamura, Yuko Sato, Tetsuro Satomi, Mio Sawaguchi, Nobuhiko Suzuki, Yugo Takahashi, Mai Takayanagi, Keigo Takeshige, Naomi Tanaka, Takeshi Tsuzaki, Yoshihumi Uehiro, Shuhei Yamada, Koji Yamamoto, Melanie Beisswenger
Mascot animations. SIGGRAPH ASIA Animations 2009: 88 - [c1]Yoshihiro Maruyama:
A Duality for Algebras of Lattice-Valued Modal Logic. WoLLIC 2009: 281-295
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-31 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: