• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 90 matches

• 2024
• 
  Vincent Abbott, Tom Xu, Yoshihiro Maruyama:
  Category Theory for Artificial General Intelligence. AGI 2024: 119-129
• 
  Arisa Yasuda, Yoshihiro Maruyama:
  Human-Robot Trust in the Age of Artificial General Intelligence: The Case of Care Robots. AGI 2024: 218-227
• 
  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
• 
  Florrie Verity, Yoshihiro Maruyama:
  Modal Hyperdoctrine: Higher-Order and Non-normal Extensions. WoLLIC 2024: 225-242
• 2023
• 
  Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
  Computing with Categories in Machine Learning. AGI 2023: 244-254
• 
  Yoshihiro Maruyama, Frank Zhang:
  A Reasoning System for Time and Vagueness. FUZZ 2023: 1-6
• 
  Junya Maruyama, Yudai Honma, Yuuki Nishiyama, Yoshihiro Kawahara:
  A Trajectory Estimation Method from Spatially Sparse and Noisy Beacon Data Based on Spring Dynamics. BuildSys 2023: 286-287
• 
  Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
  Computing with Categories in Machine Learning. CoRR abs/2303.04156 (2023)
• 2022
• 
  Michael Timothy Bennett, Yoshihiro Maruyama:
  Philosophical Specification of Empathetic Ethical Artificial Intelligence. IEEE Trans. Cogn. Dev. Syst. 14(2): 292-300 (2022)
• 
  Yoshihiro Maruyama:
  Human-Computer Interaction and Coevolution in Science AI Robotics. HCI (49) 2022: 523-531
• 
  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
• 
  Eli Sennesh, Tom Xu, Yoshihiro Maruyama:
  A Probabilistic Generative Model of Free Categories. CoRR abs/2205.04545 (2022)
• 2021
• 
  Yoshihiro Maruyama:
  Category theory and foundations of life science: A structuralist perspective on cognition. Biosyst. 203: 104376 (2021)
• 
  Yoshihiro Maruyama:
  Quantum contextuality and cognitive contextuality: The significance of violations of Bell-type inequalities. Biosyst. 208: 104472 (2021)
• 
  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)
• 
  Tsubasa Maruyama, Toshio Ueshiba, Mitsunori Tada, Haruki Toda, Yui Endo, Yukiyasu Domae, Yoshihiro Nakabo, Tatsuro Mori, Kazutsugu Suita:
  Digital Twin-Driven Human Robot Collaboration Using a Digital Human. Sensors 21(24): 8266 (2021)
• 
  Michael Timothy Bennett, Yoshihiro Maruyama:
  The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. AGI 2021: 45-54
• 
  Yoshihiro Maruyama:
  Categorical Artificial Intelligence: The Integration of Symbolic and Statistical AI for Verifiable, Ethical, and Trustworthy AI. AGI 2021: 127-138
• 
  Yoshihiro Maruyama:
  Moral Philosophy of Artificial General Intelligence: Agency and Responsibility. AGI 2021: 139-150
• 
  Tom Xu, Yoshihiro Maruyama:
  Neural String Diagrams: A Universal Modelling Language for Categorical Deep Learning. AGI 2021: 306-315
• 
  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
• 
  Yoshihiro Maruyama:
  A Reasoning System for Fuzzy Distributed Knowledge Representation in Multi-Agent Systems. FUZZ-IEEE 2021: 1-6
• 
  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
• 
  Yoshihiro Maruyama:
  Learning, Development, and Emergence of Compositionality in Natural Language Processing. ICDL 2021: 1-7
• 
  Michael Timothy Bennett, Yoshihiro Maruyama:
  Intensional Artificial Intelligence: From Symbol Emergence to Explainable and Empathetic AI. CoRR abs/2104.11573 (2021)
• 
  Michael Timothy Bennett, Yoshihiro Maruyama:
  Philosophical Specification of Empathetic Ethical Artificial Intelligence. CoRR abs/2107.10715 (2021)
• 
  Michael Timothy Bennett, Yoshihiro Maruyama:
  The Artificial Scientist: Logicist, Emergentist, and Universalist Approaches to Artificial General Intelligence. CoRR abs/2110.01831 (2021)
• 2020
• 
  Yoshihiro Maruyama:
  Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. RAMiCS 2020: 187-203
• 
  Yoshihiro Maruyama:
  The Conditions of Artificial General Intelligence: Logic, Autonomy, Resilience, Integrity, Morality, Emotion, Embodiment, and Embeddedness. AGI 2020: 242-251
• 
  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

skipping 60 more matches