Research Page (under construction)

Research Topics

• Knowledge Representation and Reasoning
  • Abductive Reasoning
  • Logic Programming and Answer Set Programming
  • Boolean Satisfiability and Constraint Satisfaction
• Machine Learning
  • Inductive Logic Programming
  • Inductive Programming
• Reasoning about Dynamical Systems
  • Autonomous Agents and Multi-Agent Systems
  • Boolean Networks and Cellular Automata
  • Computational Approaches to Resilience

Publications

• DBLP (Katsumi Inoue)
• Google Scholar Citations (Katsumi Inoue)

Research Projects

• Learning Relational Dynamics from State Transition (2017-2020)
• 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)

Introductory Slides

• Learning from Interpretation Transition (JSAI 100th SIG-FPAI, March 27, 2016)
• Learning and Inference in Dynamic Environments (NII International Advisory Board Meeting, October 28, 2015)
• Meta-Level Abduction (NII Lunch Seminar, April 30, 2015)
• Resilience and Intelligence (NII Shonan Meeting, February 23, 2015)

Others

• Artificial Intelligence for Scientific Discovery (in Japanese)
• Logical Modeling of Biological Systems