Events & News
People
Research
Lectures
Links
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