Katsumi Inoue

Profile Information

Affiliation: National Institute of Informatics Principles of Informatics Research Division Professor
: The Graduate University for Advanced Studies School of Multidisciplinary Sciences Department of Informatics
: Tokyo Institute of Technology School of Computing

Degree: Doctor of Engineering(1 1993 Kyoto University)

Researcher number: 10252321
ORCID ID: https://orcid.org/0000-0002-2717-9122
J-GLOBAL ID: 200901024982789570

External link: http://research.nii.ac.jp/il/

I am a Professor at the Principles of Informatics Research Division, National Institute of Informatics (NII) in Japan, and am a Professor and the Chair of the Department of Informatics, School of Multidisciplinary Sciences, SOKENDAI (The Graduate University for Advanced Studies). Since 2016, I have also been a Specially Appointed Professor at the Department of Computer Science, School of Computing, Tokyo Institute of Technology (Tokyo Tech). I hold a PhD in Engineering (Applied Mathematics and Physics) from Kyoto University (1993) for my studies on abductive and nonmonotonic reasoning. I am an expert of Artificial Intelligence, Logic Programming, and Computer Science in general, and am particularly interested in understanding the dynamics of systems, culture and the world.

Research Interests

Research Areas

Research History

4 2016 - Present

Tokyo Institute of Technology School of Computing Specially Appointed Professor
4 2005 - Present

The Graduate University for Advanced Studies, SOKENDAI Department of Informatics, School of Multidisciplinary Sciences Professor
3 2004 - Present

National Institute of Informatics Professor
4 2015 - 3 2016

Graduate School of Information Science and Engineering, Tokyo Institute of Technology Department of Computer Science Adjunct Professor
4 2008 - 3 2012

Tokyo Institute of Technology Department of Computer Science, Graduate School of Information Science and Engineering Visiting Professor

Education

Professional Memberships

Papers

605

Les enjeux de l’inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles

Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux

In: Elisabeth Remy, Cédric Lhoussaine (eds.), Approches Symboliques de la Modélisation et de l’Analyse des Systèmes Biologiques to appear 12 2020 Peer-reviewed
Computational intractability law molds the topology of biological networks

Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispühl

Applied Network Science 5(34) 7 2020 Peer-reviewed
Reproducible Efficient Parallel SAT Solving

Hidetomo Nabeshima, Katsumi Inoue

Luca Pulina, Martina Seidl (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 23rd International Conference (SAT 2020; July 3-10, 2020), Lecture Notes in Computer Science 12178 123 - 138 7 2020 Peer-reviewed
Design Adaptive AI for RTS Game by Learning Player's Build Order

Guillaume Lorthioir, Katsumi Inoue

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020) 5194 - 5195 7 2020 Peer-reviewed
Learning Logic Programs from Noisy State Transition Data

Yin Jun Phua, Katsumi Inoue

In: Dimitar Kazakov, Can Erten (eds.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019; Plovdiv, Bulgaria, September 3-5, 2019), Lecture Notes in Artificial Intelligence, 11770 72 - 80 6 2020 Peer-reviewed

Presentations

140

Rule Extraction from Decision Tree Ensembles by Answer Set Programming (in Japanese)

Akihiro Takemura, Katsumi Inoue

The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 3E5-GS-2-03 6 11, 2020
Learning Explainable Logical Rules through Graph Embedding

Yin Jun Phua, Katsumi Inoue

The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 3E1-GS-2-02 6 11, 2020
Inferring Player’s Strategy to Design Adaptive Agents in RTS Game

Guillaume Lorthioir, Katsumi Inoue

The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 2G6-ES-3-02 6 10, 2020
Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming (in Japanese)

Naoki Iino, Naoyuki Tamura, Takehide Soh, Mutsunori Banbara, Katsumi Inoue

The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 2N5-OS-17b-05 6 10, 2020
Induction of Belief Revision Operators from Examples

Yutaro Totsuka, Katsumi Inoue

SIG-FPAI-B903-02, B5(03):24-29, The Japanese Society for Artificial Intelligence 3 8, 2020

Misc.

178

Reasoning and Programming in Artificial Intelligence

Katsumi Inoue, Chiaki Sakama, Taisuke Sato

Journal of the Japanese Society for Artificial Intelligence 34(5) 703 - 713 9 2019 Invited
Computational Intractability Law Molds the Topology of Biological Networks

Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispüh

bioRxiv 510495 1 2019
Learning Programs from Observations

Katsumi Inoue

In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports 7(9) 3 2018 Invited
Curriculum-Based Course Timetabling with Answer Set Programming (in Japanese)

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Proceedings of the Twenty-Ninth RAMP Symposium 73 - 88 10 2017 Invited
Abduction in AI (in Japanese)

Katsumi Inoue

Encyclopedia of Artificial Intelligence 5-24 264 - 265 7 2017 Invited

Books and Other Publications

Computational Framework of Resilience

Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, Katsumi Inoue(Role: Joint author, Chapter 12, in: Yoshiki Yamagata and Hiroshi Maruyama (eds.), Urban Resilience: A Transformative Approach)

Springer 8 2016
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto, Japan, August 20-22, 2015)

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto(Role: Joint editor)

CEUR Workshop Proceedings, Vol. 1636 7 2016
Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan, August 20-22, 2015), Lecture Notes in Artificial Intelligence, Vol.9575

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto(Role: Joint editor)

Springer 7 2016
Systems’ Resilience: Resilience from Various Disturbances (in Japanese)

Systems Resilience Project, Research Organization of Information, Systems(Role: Joint author)

Kindai Kagakusha 4 2016
Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding

Barthelemy Dworkin, Andrei Doncescu, Jean-Charles Faye, Katsumi Inoue(Role: Joint author, Chapter 9, in: Stephen H. Muggleton and Hiroaki Watanabe (eds.), Latest Advances in Inductive Logic Programming, pp.69-76)

Imperial College Press 10 2014

Awards

7 2020

SAT Competition 2020 3rd Place - Parallel Track UNSAT ManyGlucose (4.1-60)

Hidetomo Nabeshima, Katsumi Inoue
11 2019

ILP 2019: 29th International Conference on Inductive Logic Programming, Best Student Paper Award "Learning Logic Programs from Noisy State Transition Data"

Yin Jun Phua, Katsumi Inoue
9 2018

Information Processing Society of Japan Specially Selected Paper of Journal of Information Processing "Proposal of SAT-Based Method to Detect Deadlock of Petri Nets" (in Japanese)

Tomoya Sunda, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
7 2018

The 34th International Conference on Logic Programming (ICLP 2018) Best Paper Award "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning"

Tobias Kaminski, Thomas Eiter, Katsumi Inoue
8 2017

KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Research Projects

Advanced Inference Techniques for Huge Knowledge Graphs in Tensor Spaces

Japanese Society for the Promotion of Science JSPS Grant-in-Aid for Scientific Research (B)

Prof. Chiaki Sakama, Wakayama Universit
Research on Robust Team Formation in Dynamic Environments

Japanese Society for the Promotion of Science JSPS Grant-in-Aid for Scientific Research (B)

Assoc. Prof. Tenda Okimoto, K
Learning Relational Dynamics from State Transition

Japanese Society for the Promotion of Science JSPS Grant-in-Aid for Scientific Research (A)

Katsumi Inoue
Research on Intention Recognition under Dynamic Environments

Video Research Ltd. Commissioned Research

Katsumi Inoue
Research and Development of a New Constraint Programming System Based on SAT

Japanese Society for the Promotion of Science JSPS Grant-in-Aid for Scientific Research (B)

Prof. Naoyuki Tamura, Kob

Committee Memberships

106

6 2020 - Present

The 34th Annual Conference on Neural Information Processing Systems (NeurIPS 2020) Reviewer
5 2020 - Present

The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio2020) Member of Program Committee
4 2020 - Present

The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020) Member of Program Committee
2 2020 - Present

The 18th International Workshop on Non-Monotonic Reasoning (NMR 2020) Member of Program Committee
1 2020 - Present

The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee