Research theme for competitive and other funds (2)：
2006 - 2009 Implementation and Applications of Anticipatory Reasoning-Reacting Systems
2007 - 2008 An Automated Theorem Finding System for General-purpose and Its Applications
Papers (138)：
Sameera Basit, Yuichi Goto. A Belief Revision Mechanism with Trust Reasoning based on Extended Reciprocal Logic for Multi-Agent Systems. Computer Networks & Communications. 2023. 13. 4. 161-173
Yating Wang, Yuichi Goto. An Extension of Formal Analysis Method with Reasoning for Anonymity. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. 12034. 53-64
Sameera Basit, Yuichi Goto. An Extension of Reciprocal Logics for Trust Reasoning. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. 12034. 65-75
2015 - 現在 Saitama University Graduate School of Science and Engineering Associate Professor
2007/04 - 2014/03 Saitama University Graduate School of Science and Engineering Assistant Professor
2006/04 - 2007/03 Saitama University Graduate School of Science and Engineering
2005/04 - 2006/03 Saitama University Faculty of Engineering
Association Membership(s) (6)：
IEEE
, THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS
, Association for Computing Machinery
, IEEE-CS
, THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
, INFORMATION PROCESSING SOCIETY OF JAPAN
