Yoshihiro Maruyama

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 39

Top Venues

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Florrie Verity, Yoshihiro Maruyama
Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC (2024)
Arisa Yasuda, Yoshihiro Maruyama
From Artificial General Intelligence to Artificial General Universe: Metaverse Ethics as an Amplification of AI/AGI Ethics. AGI (2024)
Arisa Yasuda, Yoshihiro Maruyama
Human-Robot Trust in the Age of Artificial General Intelligence: The Case of Care Robots. AGI (2024)
Vincent Abbott, Tom Xu, Yoshihiro Maruyama
Category Theory for Artificial General Intelligence. AGI (2024)
Eli Sennesh, Tom Xu, Yoshihiro Maruyama
Computing with Categories in Machine Learning. CoRR (2023)
Yoshihiro Maruyama, Frank Zhang
A Reasoning System for Time and Vagueness. FUZZ (2023)
Eli Sennesh, Tom Xu, Yoshihiro Maruyama
Computing with Categories in Machine Learning. AGI (2023)
Yoshihiro Maruyama
Human-Computer Interaction and Coevolution in Science AI Robotics. HCI (49) (2022)
Michael Timothy Bennett, Yoshihiro Maruyama
Philosophical Specification of Empathetic Ethical Artificial Intelligence. IEEE Trans. Cogn. Dev. Syst. 14 (2) (2022)
Eli Sennesh, Tom Xu, Yoshihiro Maruyama
A Probabilistic Generative Model of Free Categories. CoRR (2022)
Tom Xu, Noel Hinton, Michael Timothy Bennett, Yoshihiro Maruyama
Natural Language Processing for Scientific Paper Evaluation: Comparing Human and Machine Judgements. HCI (49) (2022)
Yoshihiro Maruyama
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems. FUZZ-IEEE (2021)
Yoshihiro Maruyama
Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation. J. Symb. Log. 86 (3) (2021)
Yoshihiro Maruyama
Moral Philosophy of Artificial General Intelligence: Agency and Responsibility. AGI (2021)
Yoshihiro Maruyama
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory. FUZZ-IEEE (2021)
Yoshihiro Maruyama
Category theory and foundations of life science: A structuralist perspective on cognition. Biosyst. 203 (2021)
Michael Timothy Bennett, Yoshihiro Maruyama
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. CoRR (2021)
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)
Yoshihiro Maruyama
Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI. AGI (2021)
Michael Timothy Bennett, Yoshihiro Maruyama
Intensional Artificial Intelligence: From Symbol Emergence to Explainable and Empathetic AI. CoRR (2021)
Michael Timothy Bennett, Yoshihiro Maruyama
Philosophical Specification of Empathetic Ethical Artificial Intelligence. CoRR (2021)
Yoshihiro Maruyama
Learning, Development, and Emergence of Compositionality in Natural Language Processing. ICDL (2021)
Michael Timothy Bennett, Yoshihiro Maruyama
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. AGI (2021)
Yoshihiro Maruyama
Quantum contextuality and cognitive contextuality: The significance of violations of Bell-type inequalities. Biosyst. 208 (2021)
Tom Xu, Yoshihiro Maruyama
Neural String Diagrams: A Universal Modelling Language for Categorical Deep Learning. AGI (2021)
Yoshihiro Maruyama
The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. AGI (2020)
Yoshihiro Maruyama
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence. SEFM (2020)
Masashi Fukuhara, Kazuhiko Fujiwara, Yoshihiro Maruyama, Hiroyasu Itoh
Feature visualization of Raman spectrum analysis with deep convolutional neural network. CoRR (2020)
Yoshihiro Maruyama
Universal Stone Duality via the Concept of Topological Dualizability and its Applications to Many-Valued Logic. FUZZ-IEEE (2020)
Yoshihiro Maruyama
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. RAMiCS (2020)
Yoshihiro Maruyama
First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory. FUZZ-IEEE (2020)
Yoshihiro Maruyama
Rationality, Cognitive Bias, and Artificial Intelligence: A Structural Perspective on Quantum Cognitive Science. HCI (7) (2020)
Yoshihiro Maruyama
Contextuality Across the Sciences: Bell-Type Theorems in Physics and Cognitive Science. CONTEXT (2019)
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)
Yoshihiro Maruyama
The Categorical Integration of Symbolic and Statistical AI: Quantum NLP and Applications to Cognitive and Machine Bias Problems. ISDA (2019)
Yoshihiro Maruyama
Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning. CONTEXT (2019)
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)
Yoshihiro Maruyama
Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI. PT-AI (2017)
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) (2016)
Yoshihiro Maruyama
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. CSL (2013)
Yoshihiro Maruyama
AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited. PT-AI (2013)
Yoshihiro Maruyama
From Operational Chu Duality to Coalgebraic Quantum Symmetry. CALCO (2013)
Yoshihiro Maruyama
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. WoLLIC (2013)
Yoshihiro Maruyama
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures. QPL (2013)
Yoshihiro Maruyama
Dualities for Algebras of Fitting's Many-Valued Modal Logics. Fundam. Informaticae 106 (2-4) (2011)
Yoshihiro Maruyama
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs. IJCAI (2011)
Yoshihiro Maruyama
Fuzzy Topology and Lukasiewicz Logics from the Viewpoint of Duality Theory. Stud Logica 94 (2) (2010)
Yoshihiro Maruyama
Fundamental results for pointfree convex geometry. Ann. Pure Appl. Log. 161 (12) (2010)
Yoshihiro Maruyama
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic. ICLA (2009)
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, Toru Ogura, Takeshi Saito, Takayuki Sato, Atsushi Sugito, Seiichi Tsuji
Mascot animations. SIGGRAPH ASIA Animations (2009)
Yoshihiro Maruyama
A Duality for Algebras of Lattice-Valued Modal Logic. WoLLIC (2009)

Yoshihiro Maruyama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yoshihiro Maruyama