Updated on 2024/10/29
Doctor of Philosophy in Computer Science （ 2017.5 University of Oxford ）
Modal Hyperdoctrine: Higher-Order and Non-Normal Extensions Reviewed
F. Verity and Y. Maruyama
Springer LNCS 2024
From Artificial General Intelligence to Artificial General Universe Reviewed
A. Yasuda and Y. Maruyama
Springer LNCS 2024
Category Theory for Artificial General Intelligence. Reviewed
T. Xu, V. Abbott and Y. Maruyama
Springer LNCS 2024
Fibered Universal Algebra for First-Order Logics Reviewed
C. Bloomfield and Y. Maruyama
Journal of Pure and Applied Algebra 2024
Human-Robot Trust in the Age of Artificial General Intelligence Reviewed
A. Yasuda and Y. Maruyama
Springer LNCS 2024
Duality, Intensionality and Contextuality Reviewed
Y. Maruyama
Outstanding Contributions to Logic 2023
A Reasoning System for Time and Vagueness Reviewed
Y. Maruyama and F. Zhang
Proceedings of IEEE-FUZZ 2023
Chemist-Computer Interaction: Representation Learning for Chemical Design via Refinement of SELFIES VAE Reviewed
T. Xu, N. Velzeboer and Y. Maruyama
Communications in Computer and Information Science 2023
Computing with Categories in Machine Learning Reviewed
E. Sennesh, T. Xu, and Y. Maruyama
Springer LNCS 2023
