Yoshihiro Maruyama
Orcid: 0000-0003-1768-8465
According to our database1,
Yoshihiro Maruyama
authored at least 50 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Logic, Language, Information, and Computation, 2024
From Artificial General Intelligence to Artificial General Universe: Metaverse Ethics as an Amplification of AI/AGI Ethics.
Proceedings of the Artificial General Intelligence - 17th International Conference, 2024
Human-Robot Trust in the Age of Artificial General Intelligence: The Case of Care Robots.
Proceedings of the Artificial General Intelligence - 17th International Conference, 2024
Proceedings of the Artificial General Intelligence - 17th International Conference, 2024
2023
Proceedings of the IEEE International Conference on Fuzzy Systems, 2023
Proceedings of the Artificial General Intelligence - 16th International Conference, 2023
2022
IEEE Trans. Cogn. Dev. Syst., 2022
Natural Language Processing for Scientific Paper Evaluation: Comparing Human and Machine Judgements.
Proceedings of the HCI International 2022 - Late Breaking Posters, 2022
Proceedings of the HCI International 2022 - Late Breaking Posters, 2022
2021
Fibred Algebraic Semantics for a Variety of non-Classical First-order Logics and Topological Logical Translation.
J. Symb. Log., 2021
Intensional Artificial Intelligence: From Symbol Emergence to Explainable and Empathetic AI.
CoRR, 2021
Quantum contextuality and cognitive contextuality: The significance of violations of Bell-type inequalities.
Biosyst., 2021
Category theory and foundations of life science: A structuralist perspective on cognition.
Biosyst., 2021
Learning, Development, and Emergence of Compositionality in Natural Language Processing.
Proceedings of the IEEE International Conference on Development and Learning, 2021
Exploring Human-Computer Interaction in Mathematics: From Voevodsky's Univalent Foundations of Mathematics to Mochizuki's IUT-Theoretic Proof of the ABC Conjecture.
Proceedings of the Human Interface and the Management of Information. Information-Rich and Intelligent Environments, 2021
A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021
Higher-Order Fuzzy Logics and their Categorical Semantics: Higher-Order Linear Completeness and Baaz Translation via Substructural Tripos Theory.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021
Neural String Diagrams: A Universal Modelling Language for Categorical Deep Learning.
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021
Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI.
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021
The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence.
Proceedings of the Artificial General Intelligence - 14th International Conference, 2021
2020
Feature visualization of Raman spectrum analysis with deep convolutional neural network.
CoRR, 2020
Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence.
Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020
Rationality, Cognitive Bias, and Artificial Intelligence: A Structural Perspective on Quantum Cognitive Science.
Proceedings of the Engineering Psychology and Cognitive Ergonomics. Cognition and Design, 2020
Universal Stone Duality via the Concept of Topological Dualizability and its Applications to Many-Valued Logic.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020
First-Order Typed Fuzzy Logics and their Categorical Semantics: Linear Completeness and Baaz Translation via Lawvere Hyperdoctrine Theory.
Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020
The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness.
Proceedings of the Artificial General Intelligence - 13th International Conference, 2020
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
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.
Proceedings of the Intelligent Systems Design and Applications, 2019
The Categorical Integration of Symbolic and Statistical AI: Quantum NLP and Applications to Cognitive and Machine Bias Problems.
Proceedings of the Intelligent Systems Design and Applications, 2019
Compositionality and Contextuality: The Symbolic and Statistical Theories of Meaning.
Proceedings of the Modeling and Using Context, 2019
Contextuality Across the Sciences: Bell-Type Theorems in Physics and Cognitive Science.
Proceedings of the Modeling and Using Context, 2019
2017
Quantum Pancomputationalism and Statistical Data Science: From Symbolic to Statistical AI, and to Quantum AI.
Proceedings of the Philosophy and Theory of Artificial Intelligence 2017, 2017
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.
Proceedings of the Philosophy and Theory of Artificial Intelligence 2017, 2017
2016
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.
Synth., 2016
Proceedings of the Advances in Proof-Theoretic Semantics., 2016
2013
Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.
Proceedings of the Logic, Language, Information, and Computation, 2013
AI, Quantum Information, and External Semantic Realism: Searle's Observer-Relativity and Chinese Room, Revisited.
Proceedings of the Fundamental Issues of Artificial Intelligence, 2013
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2011
Fundam. Informaticae, 2011
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs.
Proceedings of the IJCAI 2011, 2011
2010
Stud Logica, 2010
2009
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2009
Proceedings of the Logic and Its Applications, Third Indian Conference, 2009