Inoue Laboratory
National Institute of Informatics SOKENDAI Tokyo Institute of Technology
  • 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