Research Page

Research Topics

• Integration of Knowledge Representation and Reasoning (KR) and Machine Learning (ML)
  • KR topics: Abductive Reasoning, Logic Programming and Answer Set Programming, Boolean Satisfiability, Belief change, etc.
  • ML topics: Inductive Logic Programming, Inductive Programming, Neuro-Symbolic Learning, etc.
  • Neuro-Symbolic AI
• Reasoning about Dynamical Systems
  • Boolean Networks and Cellular Automata
  • Belief Revision Games
  • Autonomous Agents and Multi-Agent Systems
  • Computational Approaches to Resilience

Publications/Softwares

• DBLP (Katsumi Inoue)
• Google Scholar Citations (Katsumi Inoue)
• Learning from Interpretation Transition (Python code by Tony Ribeiro)
• treetap: Generating Explainable Rule Sets from Tree-Ensembles by Answer Set Programming (Akihiro Takemura)
• Reasoning and Programming in Artificial Intelligence (in Japanese), Journal of the Japanese Society for Artificial Intelligence, Vol.34, No.5, pp.703-713 (2019)
• Artificial Intelligence for Scientific Discovery (in Japanese), The Journal of the Institute of Electronics, Information, and Communication Engineers, Vol.98, No.1, pp.35-39 (2015)
• Logical Modeling of Biological Systems, Wiley (2014)

Introductory Slides and Videos

• 機械学習と記号推論の融合 (June 2021, in Japanese)
• Answer set solving in practice (University of Potsdam)
• 知識表現・推論と機械学習を統合したロバストAI 研究紹介 (May 2020, in Japanese)
• 知識表現と推論 井上克巳 国立情報学研究所 研究紹介 (Feb 2020, in Japanese)
• Learning from Interpretation Transition (JSAI 100th SIG-FPAI, March 27, 2016)
• Meta-Level Abduction (NII Lunch Seminar, April 30, 2015)
• Resilience and Intelligence (NII Shonan Meeting, February 23, 2015)

Research Projects

• Machine Learning That Connects to Symbolic Reasoning (2022-2027)
• Robust AI by Integration of Knowledge Representation and Machine Learning (2021-2024)
• Learning Relational Dynamics from State Transition (2017-2021)
• CSPSAT3 Project (2016-2018)
• CSPASP Project (2015-2017)
• Systems Resilience Project (2012-2015)
• CSPSAT2 Project (2012-2014)
• CSPSAT Project (2008-2011; in Japanese)
• Inference-Based Hypothesis-Finding and its Application to Systems Biology (2008-2011)
• Franco-Japanese Symposia on Knowledge Discovery in Systems Biology (2007-2010)