Katsumi Inoue

Profile Information

Affiliation: Project Researcher (Project Professor), Principles of Informatics Research Division, National Institute of Informatics
: Collaborative Professor, Graduate School of Informatics and Engineering, The University of Electro-Communications

Degree: Doctor of Engineering(Jan, 1993, Kyoto University)

Contact information: inouenii.ac.jp
Researcher number: 10252321
ORCID iD: https://orcid.org/0000-0002-2717-9122
J-GLOBAL ID: 200901024982789570
researchmap Member ID: 1000165292

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

I am a Project Professor at the Principles of Informatics Research Division, National Institute of Informatics (NII) in Japan. 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.

Research Areas

Research Interests

Research History

Apr, 2025 - Present

Project Professor, Principles of Informatics Research Division, National Institute of Informatics
Apr, 2025 - Present

Professor Emeritus, The Graduate University for Advanced Studies
Apr, 2025 - Present

Professor Emeritus, National Institute of Informatics
Apr, 2024 - Present

Collaborative Professor, Graduate School of Informatics and Engineering, The University of Electro-Communications
Apr, 2024 - Present

Visiting Professor, The Kyoto College of Graduate Studies for Informatics
Apr, 2023 - Mar, 2025

Professor, Informatics Program, Graduate Institute for Advanced Studies, The Graduate University for Advanced Studies, SOKENDAI
Apr, 2021 - Mar, 2025

Visiting Professor, School of Computing, Tokyo Institute of Technology
Mar, 2004 - Mar, 2025

Professor, National Institute of Informatics
Mar, 2020 - Feb, 2025

Visiting Professor, École Centrale de Nantes
Apr, 2005 - Mar, 2023

Professor, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies, SOKENDAI
Apr, 2016 - Mar, 2021

Specially Appointed Professor, School of Computing, Tokyo Institute of Technology
Apr, 2015 - Mar, 2016

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

Visiting Professor, Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
Apr, 1997 - Mar, 2004

Kobe University
Apr, 1993 - Mar, 1997

Toyohashi University of Technology
Oct, 1986 - Mar, 1993

Institute for New Generation Computer Technology
Apr, 1984 - Mar, 1993

Matsushita Electric Industrial Co., Ltd.

Education

- Jan, 1993

PhD Degree (Engineering), Department of Applied Mathematics and Physics, Kyoto University
Apr, 1982 - Mar, 1984

Department of Applied Mathematics and Physics, Graduate School, Division of Engineering, Kyoto University
Apr, 1978 - Mar, 1982

Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University

Papers

382

Influence Graphs of Phytoplankton Species Interactions using Logical Learning

Madeleine Eyraud, Maxime Folschette, Katsumi Inoue, Sébastien Lefebvre, Cédric Lhoussaine

accepted, Sep, 2025 Peer-reviewed
Formally Explaining Decision Tree Models with Answer Set Programming

Akihiro Takemura, Masayuki Otani, Katsumi Inoue

The 41st International Conference on Logic Programming (ICLP 2025; Rende, Italy, September 12-19, 2025), Electronic Proceedings in Theoretical Computer Science (EPTCS), accepted, Sep, 2025 Peer-reviewed
SAT-based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints

Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura

The 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025; Glasgow, Scotland, UK, August 12-15, 2025), Leibniz International Proceedings in Informatics (LIPIcs), accepted, Aug, 2025 Peer-reviewed
Iterated Belief Change as Learning

Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

The 34th International Joint Conference on Artificial Intelligence (IJCAI-25; Montreal, Canada, August 16-22, 2025), accepted, Aug, 2025 Peer-reviewed
Differentiable Rule Induction from Raw Sequence Inputs

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng

The 13th International Conference on Learning Representations (ICLR 2025; Singapore, April 24-28, 2025), 14p., Apr 25, 2025 Peer-reviewed
Transformers Use Causal World Models in Maze-Solving Tasks

Alexander F. Spies, William Edwards, Michael Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan

In: ICLR 2025 Workshop on World Models: Understanding, Modelling and Scaling, to appear 23p., Apr, 2025 Peer-reviewed
Learning Possibilistic Dynamic Systems from State Transitions

Hongbo Hu, Yisong Wang, Katsumi Inoue

Fuzzy Sets and Systems, 504(109259) 30p., Mar 15, 2025 Peer-reviewed
Neuro-symbolic Contrastive Learning for Cross-domain Inference

Mingyue Liu, Ryo Ueda, Zhen Wan, Katsumi Inoue, Chris G. Willcocks

In: Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift (eds.), Proceedings of the 40th International Conference on Logic Programming (ICLP 2024; University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024), Electronic Proceedings in Theoretical Computer Science, 416 78-94, Feb 13, 2025 Peer-reviewed
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming

Akihiro Takemura, Katsumi Inoue

Theory and Practice of Logic Programming, 24(5) 973-1010, Nov 13, 2024 Peer-reviewed
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024), 765-777, Nov 7, 2024 Peer-reviewed
Abductive reasoning in a paraconsistent framework

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024), 134-144, Nov 7, 2024 Peer-reviewed
Linear Algebraic Partial Evaluation of Logic Programs

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

In: Nina Gierasimczuk, Jesse Heyninck (eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), CEUR Workshop Proceedings, 3835 14-23, Nov 2, 2024 Peer-reviewed
Linear Algebraic Partial Evaluation of Logic Programs

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024; Herndon, VA, USA, October 30 - November 1, 2024), 355-362, Oct 29, 2024 Peer-reviewed
Differentiable Logic Programming for Distant Supervision

Akihiro Takemura, Katsumi Inoue

Proceedings of the 27th European Conference on Artificial Intelligence (ECAI-2024; Santiago de Compostela, Spain, October 19-24, 2024), Frontiers in Artificial Intelligence and Applications, 392 1301-1308, Oct 22, 2024 Peer-reviewed
ASP-based Large Neighborhood Prioritized Search for Course Timetabling

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

In: Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez (eds), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 17th International Conference (LPNMR 2024; Dallas, TX, USA, October 11-14, 2024), Lecture Notes in Artificial Intelligence, 15245 57-70, Oct 14, 2024 Peer-reviewed
Learning From Interpretation Transitions with Unknowns

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Antoine Roquilly, Jérémie Poschmann, Katsumi Inoue

The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024; Nanjing University International Conference Center, Nanjing, China, September 20-22, 2024), Lecture Notes in Artificial Intelligence, to appear 19p., Sep 20, 2024 Peer-reviewed
Variable Assignment Invariant Neural Networks for Learning Logic Programs

Yin Jun Phua, Katsumi Inoue

In: Tarek R. Besold, Artur d'Avila Garcez, Ernesto Jiménez-Ruiz, Roberto Confalonieri, Pranava Madhyastha, Benedikt Wagner (eds.), Neural-Symbolic Learning and Reasoning: Proceedings of the 18th International Conference, Part 1 (NeSy 2024; Barcelona, Spain, September 9-12, 2024), Lecture Notes in Artificial Intelligence, 14979 47-61, Sep 10, 2024 Peer-reviewed
Learning Visual-Inertial Odometry With Robocentric Iterated Extended Kalman Filter

Khac Duy Nguyen, Dinh Tuan Tran, van Quyen Pham, Dinh Tuan Nguyen, Katsumi Inoue, Joo-Ho Lee, Anh Quang Nguyen

IEEE Access, 12 109943-109956, Aug 7, 2024 Peer-reviewed
Privacy-preserving Face and Hair Swapping in Real-time with a GAN-generated Face Image

Dinh Tuan Tran, Duc Tung Phung, Duc Manh Duong, Katsumi Inoue, Joo-Ho Lee, Anh Quang Nguyen

IEEE Access, 12 179265-179280, Jun 28, 2024 Peer-reviewed
A differentiable first-order rule learner for inductive logic programming

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

Artificial Intelligence, 331(104108) 27p., Jun, 2024 Peer-reviewed

Presentations

257

Towards Neurosymbolic Reasoning that Mitigates Shortcut Reasoning (in Japanese)

Akihiro Takemura, Katsumi Inoue

The 39th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2025), 1F3-GS-1-05, May 27, 2025, Japanese Society for Artificial Intelligence
44 Years of My Reasoning Research (in Japanese)

Katsumi Inoue

Lecture Commemorating Retirement, Mar 27, 2025, National Institute of Informatics Invited
Backtracking Enabled Transformers

Yin Jun Phua, Tony Ribeiro, Katsumi Inoue

The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025), Jan 25, 2025
A Constraint-Based Visual Dataset Generator

Thomas Eiter, Nelson Higuera, Katsumi Inoue, Sota Moriyama

The 7th Workshop on Trends and Applications of Answer Set Programming (TAASP 2024), Nov 25, 2024
Linear Algebraic Approaches to Logic Programming

Katsumi Inoue

The 40th International Conference on Logic Programming (ICLP 2024), Oct 15, 2024 Invited
Combinatorial reconfiguration with answer set programming: System recongo and some experimental results

Dong Yang, Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara

Theory of Combinatorial Reconfiguration and Beyond, Oct 8, 2024
Algebraic Logic Programming and Learning

Katsumi Inoue

The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024), Sep 22, 2024 Invited
Panel Discussion: How to Interface Learning and Reasoning?

Wray Buntine, Wang-Zhou Dai, Luc De Raedt, Sašo Džeroski, Katsumi Inoue, Xue Li, Claude Sammut

The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024), Sep 21, 2024 Invited
ハミルトン閉路問題に対するCut-arc集合制約を用いたSAT型CEGAR解法

大橋瞭雅, 宋剛秀, 鍋島英知, 番原睦則, 井上克巳, 田村直之

日本ソフトウェア科学会第41回大会, Sep 12, 2024, 日本ソフトウェア科学会
独立集合遷移問題に対する有界組合せ遷移の改良に関する一考察

桑原祥文, 宋剛秀, 盧暁南, 鍋島英知, 番原睦則, 井上克巳, 田村直之

日本ソフトウェア科学会第41回大会, Sep 12, 2024, 日本ソフトウェア科学会
A differentiable first-order rule learner for inductive logic programming

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

The 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), Aug 7, 2024 Invited
Variable Assignment Invariant Neural Network for Learning Logic Program

Yin Jun Phua, Katsumi Inoue

The 8th International Workshop on Symbolic-Neural Learning (SNL 2024; Tokyo, Japan), Jun 27, 2024
Data-driven Analysis of Domain Specificity for Explainable Session-based Recommendation System

Kotaro Okazaki, Tony Ribeiro, Kuo-Yen Lo, Junichi Sakuma, Katsumi Inoue

The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20224), International Session 2Q5-IS-1-04, May 29, 2024, Japanese Society for Artificial Intelligence
Introducing Constraints to Multilabel Object Detection and application to ROAD-R (in Japanese)

Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura

The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20224), 2M1-OS-11a-03, May 29, 2024, Japanese Society for Artificial Intelligence
微分可能な論理プログラムによる Distant Supervision (in Japanese)

Akihiro Takemura, Katsumi Inoue

The 38th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2024), 1F3-GS-1-05, May 28, 2024, Japanese Society for Artificial Intelligence
Algebraic Connection between Logic Programming and Machine Learning (Keynote)

Katsumi Inoue

The 17th International Symposium on Functional and Logic Programming (FLOPS 2024), May 15, 2024 Invited
Structured World Representations in Maze-Solving Transformers

Michael I. Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia G. Diniz Behn, Katsumi Inoue, Samy Wu Fung

Technical AI Safety Conference 2024 (TAIS 2024), Apr 5, 2024
heulingo: An ASP-Based Implementation of Large Neighborhood Prioritized Search for Combinatorial Optimization

Irumi Sugimori, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Hidetomo Nabeshima, Mutsunori Banbara

The 26th JSSST Workshop on Programming and Programming Languages (PPL 2024), Mar 5, 2024, JSSST Special Interest Group on Programming and Programming Languages
Differentiable learning of matricized DNFs and its application to Boolean networks

Taisuke Sato, Katsumi Inoue

The 32nd International Conference on Inductive Logic Programming (ILP 2023) / The 3rd International Joint Conference on Learning & Reasoning (IJCLR 2023), Nov 13, 2023 Invited
Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue

The 21st International Conference on Computational Methods in Systems Biology (CMSB 2023; Luxembourg, September 13-15, 2023), Sep 15, 2023

Books and Other Publications

Data-Driven and Knowledge-Based Approach to Scientific Discovery, in: Sašo Džeroski, Youngsoo Choi, Pat Langley, J. Nathan Kutz, Larisa Soldatova (eds.), Computational Approaches to Scientific Discovery

Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue (Role: Joint author, to appear)

Lecture Notes in Computer Science, Springer, Jul, 2025 Peer-reviewed
The Challenges of Inferring Dynamic Models from Time Series, in: Cédric Lhoussaine, Élisabeth Remy (eds.), Symbolic Approaches to Modeling and Analysis of Biological Systems

Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux (Role: Joint author, Chapter 3)

ISTE, Wiley, Jul, 2023 (ISBN: 9781789450293) Peer-reviewed
Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama (Role: Joint author)

Springer, Feb, 2023 Peer-reviewed
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, Aug, 2016 (ISBN: 9783319398105)
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, Jul, 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, Jul, 2016 (ISBN: 9783319405650)
Systems’ Resilience: Resilience from Various Disturbances (in Japanese)

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

Kindai Kagakusha, Apr, 2016 (ISBN: 9784764905085)
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, Oct, 2014
Analyzing SBGN-AF Networks Using Normal Logic Programs

Adrien Rougny, Christine Froidevaux, Yoshitaka Yamamoto, Katsumi Inoue (Role: Joint author, Chapter 9, in: Luis Fariñas del Cerro and Katsumi Inoue (eds.), Logical Modeling of Biological Systems)

Wiley, Aug, 2014
Simulation Based Reasoning about Biological Pathways Using Petri Nets and ASP

Saadat Anwar, Chitta Baral, Katsumi Inoue (Role: Joint author, Chapter 6, in: Luis Fariñas del Cerro and Katsumi Inoue (eds.), Logical Modeling of Biological Systems)

Wiley, Aug, 2014
ASP for Construction and Validation of Regulatory Biological Networks

Alexandre Rocca, Nicolas Mobilia, Éric Fanchon, Tony Ribeiro, Laurent Trilling, Katsumi Inoue (Role: Joint author, Chapter 5, in: Luis Fariñas del Cerro and Katsumi Inoue (eds.), Logical Modeling of Biological Systems)

Wiley, Aug, 2014
Logical Modeling of Biological Systems

Luis Fariñas del Cerro, Katsumi Inoue (Role: Joint editor)

Wiley (ISTE), London, UK, Aug, 2014 (ISBN: 9781119005223)
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013, Corunna, Spain)

Katsumi Inoue, Chiaki Sakama (Role: Joint editor)

CoRR arXiv:1311.4639, Sep, 2013
Pre-Proceedings of ECML-PKDD Workshop on Learning and Discovery in Symbolic Systems Biology

Oliver Ray, Katsumi Inoue (Role: Joint editor)

Sep, 2012
Report on International Symposium on Symbolic Systems Biology

Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray (Role: Joint editor)

NII Shonan Meeting Report, No.2011-7, Nov, 2011
Integrating Abduction and Induction in Biological Inference Using CF-Induction, in: Huma Lodhi, Stephen Muggleton (eds.), Elements of Computational Systems Biology

Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu (Role: Joint author, Chapter 9)

Wiley Book Series on Bioinformatic, Feb, 2010 Peer-reviewed
Computational Logic in Multi-Agent Systems: Revised Selected and Invited Papers from the 7th International Workshop (CLIMA-VII). Lecture Notes in Artificial Intelligence, Vol. 4371

Katsumi Inoue, Ken Satoh, Francesca Toni (Role: Joint editor)

Springer, Jun, 2007 (ISBN: 9783540696186)
Proceedings of the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII)

Katsumi Inoue, Ken Satoh, Francesca Toni (Role: Joint editor)

AAMAS-06 Workshop WS-10, May, 2006

Misc.

Transformers Use Causal World Models in Maze-Solving Tasks

Alex F. Spies, William Edwards, Michael I. Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan

CoRR, abs/2412.11867 22p., Dec 16, 2024
Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming

Akihiro Takemura, Katsumi Inoue

CoRR, abs/2410.11000 37p., Oct 14, 2024
Differentiable Logic Programming for Distant Supervision

Akihiro Takemura, Katsumi Inoue

CoRR, abs/2408.12591 11p., Aug 22, 2024
Variable Assignment Invariant Neural Networks for Learning Logic Programs

Yin Jun Phua, Katsumi Inoue

CoRR, abs/2408.10709 17p., Aug 20, 2024
Abductive Reasoning in a Paraconsistent Framework

Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

CoRR, abs/2408.07287 14p., Aug, 2024
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

CoRR, abs/2403.07885 11p., May 18, 2024
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)

Katsumi Inoue

In: Jeremy Gibbons, Dale Miller (eds.): Functional and Logic Programming: Proceedings of the 17th International Symposium (FLOPS 2024; Kumamoto, Japan, May 15-17, 2024), Lecture Notes in Computer Science, 14659 3-9, May 16, 2024 Invited
MOD-CL: Multi-label Object Detection with Constrained Loss

Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura

CoRR, abs/2403.07885 4p., Jan 31, 2024
Structured World Representations in Maze-Solving Transformers

Michael Igorevich Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia Diniz Behn …

CoRR, abs/2312.02566 15p., Dec 5, 2023
DPS-Kissat

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Katsumi Inoue

In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions, Department of Computer Science Series of Publications B, University of Helsinki, B-2023-1 41, Aug, 2023
Bounded Combinatorial Reconfiguration with Answer Set Programming

Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub

CoRR, abs/2307.10688 15p., Jul 20, 2023
Towards end-to-end ASP computation

Taisuke Sato, Akihiro Takemura, Katsumi Inoue

CoRR, abs/2306.06821 29p., Jun 13, 2023
DPS-Kissat

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue

In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki, B-2022-1 43, Aug, 2022
SAT Benchmarks for the Robust Team Formation Problem

Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez

In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki, B-2022-1 74-77, Aug, 2022
Action Languages Based Actual Causality in Ethical Decision Making Contexts

Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia

CoRR abs/2205.02919, 19p., May 5, 2022
Learning First-Order Rules with Differentiable Logic Program Semantics

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

CoRR abs/2204.13570, 14p., Apr 28, 2022
Gene Network Inference from Single-Cell Omics Data and Domain Knowledge for Constructing COVID-19-Specific ICAM1-Associated Pathways

Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue

Research Square, 17p., Feb 11, 2022
ManyGlucose 4.1-60

Hidetomo Nabeshima, Katsumi Inoue

In: Tomáš Balyo, Nils Froleyks, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki, B-2020-1 58, Aug, 2020
Reasoning and Programming in Artificial Intelligence (in Japanese)

Katsumi Inoue, Chiaki Sakama, Taisuke Sato

Journal of the Japanese Society for Artificial Intelligence, 34(5) 703-713, Sep, 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, Jan, 2019

Awards

Oct, 2024

Best Student Paper Award 2024, "ASP-Based Large Neighborhood Prioritized Search for Course Timetabling", The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Apr, 2024

Best Poster Award, "Structured World Representations in Maze-Solving Transformers", Technical AI Safety Conference 2024 (TAIS 2024)

Michael I. Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia G. Diniz Behn, Katsumi Inoue, Samy Wu Fung
Dec, 2023

1st Prize at Task 2 and 3rd Prize at Task 1, "MOD-CL: Multi-label Object Detection with Constraint Loss", ROAD-R Challenge for NeurIPS 2023

Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura
Jul, 2023

The 10-year test-of-time award, "Answer set programming as a modeling language for course timetabling", Association for Logic Programming

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
Aug, 2022

2nd Place at Main Parallel Track & 3rd Place at Anniversary Parallel Track, "NPS & DPS", SAT Competition 2022

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue
Oct, 2021

The Best Paper Award, "Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs", The 30th International Conference on Inductive Logic Programming (ILP 2020-2021)

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue
Jul, 2020

3rd Places - Parallel Track & Parallel Track UNSAT, "ManyGlucose (4.1-60)", SAT Competition 2020

Hidetomo Nabeshima, Katsumi Inoue
Nov, 2019

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

Yin Jun Phua, Katsumi Inoue
Sep, 2018

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

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

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

Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Aug, 2017

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

Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Sep, 2016

The 20th Research Paper Award, "Constraint Modeling and SAT Encoding of the Packing Array Problem", Japan Society for Software Science and Technology

Haruki Noritake, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue
Jun, 2016

JSAI Annual Conference Award 2015, "Applying Constraint Answer Set Programming to Combinatorial Test Case Generation Problems", Japanese Society for Artificial Intelligence

Hiromasa Kaneyuki, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue
Nov, 2015

Best Presentation Award & Best Session Paper Award, "Skill-Based Dynamic Team Formation Problem", ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems)

Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
Oct, 2014

Excellent Paper Award, "Robust Team Formation Problem" (in Japanese), Joint Agent Workshop and Symposium 2014 (JAWS 2014)

Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue
Sep, 2014

The software Paper Award of JSSST, "GlueMiniSat 2.2.5: A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses", Japan Society for Software Science and Technology

Hidetomo Nabeshima, Kohji Iwanuma, Katsumi Inoue
Dec, 2013

Best Presentation Award, "AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization", The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013)

Tenda Okimoto, Maxime Clement, Katsumi Inoue
Sep, 2013

Excellent Paper Award, "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization", Joint Agent Workshop and Symposium 2013 (JAWS 2013)

Alexandre Medi, Tenda Okimoto, Katsumi Inoue
Jul, 2013

Silver Prize (Application, Certified UNSAT), "glueminisat-cert-unsat 2.2.7j", SAT Competition 2013

Hidetomo Nabeshima
May, 2013

Best Challenges and Visions Paper Award (3rd Prize), "Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems", The 12th International Conference on Autonomous Agents and Multi-Agent Systems

Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama

Committee Memberships

159

Mar, 2025 - Present

Area Chair, The 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)
Jan, 2025 - Present

Area Editor (Logic and Machine Learning), Theory and Practice of Logic Programming (Cambridge Journal)
Oct, 2010 - Mar, 2025

Member of Academic Committee, NII Shonan Meetings
Nov, 2023 - Oct, 2024

Informatics Advisory Committee Member, Council for University Chartering and School Juridical Person, Ministry of Education, Culture, Sports, Science and Technology
Jul, 2021 - Aug, 2024

Program Committee Board, International Joint Conference on Artificial Intelligence (IJCAI)
May, 2023 - Nov, 2023

Member of Program Committee, The 32nd International Conference on Inductive Logic Programming (ILP 2023)
May, 2023 - Oct, 2023

Member of Program Committee, The 26th European Conference on Artificial Intelligence (ECAI 2023)
Nov, 2022 - Sep, 2023

Area Chair, The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023)
Nov, 2022 - Jul, 2023

Member of Program Committee, The 39th International Conference on Logic Programming (ICLP 2023)
Sep, 2017 - Dec, 2022

Member of Scientific Committee, Atlanstic 2020, France
Jan, 2022 - Sep, 2022

Member of Program Committee, The 31st International Conference on Inductive Logic Programming (ILP 2022)
Jan, 2022 - Sep, 2022

Member of Program Committee, The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022)
Jul, 2022 - Aug, 2022

International External Reviewer, Universidad Politécnica de Madrid
Nov, 2021 - Aug, 2022

Member of Program Committee, The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022)
Sep, 2021 - Jul, 2022

Member of Program Committee, The 38th International Conference on Logic Programming (ICLP 2022)
Jul, 2021 - Jul, 2022

Member of Program Committee, The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22)
Mar, 2021 - Mar, 2022

Guest Editor, Special Issue on “Knowledge Engineering and Technologies of Intelligent Systems”, International Journal of Intelligent Systems Design and Computing
Feb, 2021 - Nov, 2021

Member of Program Committee, The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
Jan, 2020 - Oct, 2021

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

Member of Program Committee, The 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021)

Professional Memberships

2011 - Present

Japan Society for Software Science and Technology
1995 - Present

American Association for Artificial Intelligence (AAAI)
1988 - Present

The Japanese Society for Artificial Intelligence
1986 - Present

Information Processing Society of Japan
1997 - 2004

Institute of Electrical and Electronics Engineers (IEEE)

Research Projects

Constraint Reasoning for Trustworthy AI

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2025 - Mar, 2029

Katsumi Inoue, Yuichi Sei, Hidetomo Nabeshima, Phua Yin Jun
Machine Learning That Connects to Symbolic Reasoning

CREST "Core technologies for trusted quality AI systems" Area, Japan Science and Technology Agency, Oct, 2022 - Mar, 2028

Mahito Sugiyama, Katsumi Inoue, Masaaki Nishino, Ryosuke Kojima
Robust AI by Integration of Knowledge Representation and Machine Learning

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2021 - Mar, 2025

Katsumi Inoue, Chiaki Sakama, Nicolas Schwind, Ryosuke Kojima
Artificial Intelligence for Uncovering Network Dynamics of SARS-CoV-2 Multiscale Infection Systems

Strategic Research Project, Inter-University Research Institute Corporation, Research Organization of Information and Systems (ROIS), Jun, 2022 - Mar, 2025

Katsumi Inoue, Mitsuhiro Odaka
Industrial Applications of Machine Learning and Symbolic Reasoning

Denso Corporation, Oct, 2022 - Mar, 2024

Katsumi Inoue
Multi-Scale Modeling of Network Dynamics in SARS-COV-2 Infection

COVID-19 Research Project, Inter-University Research Institute Corporation, Research Organization of Information and Systems (ROIS), Jun, 2021 - Mar, 2022

Katsumi Inoue, Mitsuhiro Odaka
Development of advanced inference technologies for huge knowledge graphs in tensor spaces

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2018 - Mar, 2022

Chiaki Sakama, Katsumi Inoue, Katsuhiko Hayashi
Research on Intention Recognition under Dynamic Environments

Commissioned Research, Video Research Ltd., Oct, 2014 - Mar, 2022

Katsumi Inoue
Multi-Scale Quantitative Analysis of SARS-CoV-2 Infection Dynamics

COVID-19 Research Project, Research Organization of Information and Systems, Jun, 2020 - Mar, 2021

Katsumi Inoue, Mitsuhiro Odaka
Dynamic Robust Team Formation

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2021

Tenda Okimoto, Katsutoshi Hirayama, Katsumi Inoue
Learning Relational Dynamics from State Transition

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (A), Japan Society for the Promotion of Science, Apr, 2017 - Mar, 2021

Katsumi Inoue, Chiaki Sakama, Tenda Okimoto, Nicolas Schwind
Research and Development of a New Constraint Programming System based on SAT

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2016 - Mar, 2019

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, Katsumi Inoue, Hidetomo Nabeshima
Research and Development on Constraint Answer Set Programming Using SAT Encoding

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2015 - Mar, 2018

Mutsunori, Banbara, Naoyuki Tamura, Katsumi Inoue
Modeling and Inference of Resilient Systems

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017

INOUE Katsumi, RIBEIRO Tony, MAGNIN Morgan
Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2017

Tenda Okimoto, Katsumi Inoue
Learning Cellular Automata Represented as Logic Programs

Grants-in-Aid for Scientific Research, Grant-in-Aid for Challenging Exploratory Research, Japan Society for the Promotion of Science, Apr, 2014 - Mar, 2016

Katsumi Inoue, Chiaki Sakama
Supporting Skill Development by Rule Abduction and Analogy

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015

Koichi Furukawa, Keita Kinjo, Makoto Haraguchi, Tsutomu Fujinami, Katsumi Inoue, Masaki Suwa, Toshiki Masuda, Ikuo Kobayashi, Tomonobu Ozaki, Takeshige Nishiyama
Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

Grants-in-Aid for Scientific Research, Grant-in-Aid for Scientific Research (B), Japan Society for the Promotion of Science, Apr, 2012 - Mar, 2015

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh, Katsumi Inoue, Hidetomo Nabeshima, Tomoya Tanjo, Tenda Okimoto
Modeling and Solutions of the Cyber Security Problem based on Multi-Objective Distributed Constraint Optimization

Transdisciplinary Seeds Research, Transdisciplinary Research Integration Center, Apr, 2013 - Mar, 2014

Tenda Okimoto, Kazuhiro Minami, Katsumi Inoue, Naoto Ikegai, Katsutoshi Hirayama
Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations

Transdisciplinary Seeds Research, Transdisciplinary Research Integration Center, Apr, 2011 - Mar, 2012

Takehide Soh, Toyoyuki Takada, Katsumi Inoue, Tomoya Baba, Yoshitaka Yamamoto

Teaching Experience

Apr, 2024 - Present

Knowledge Representation and Reasoning (in Japanese) (The Kyoto College of Graduate Studies for Informatics)
Apr, 2006 - Sep, 2024

Introduction to Intelligent Systems Science I (The Graduate University for Advanced Studies, SOKENDAI)
Apr, 2006 - Sep, 2022

Logical Foundations for Artificial Intelligence (The Graduate University for Advanced Studies, SOKENDAI)
Jun, 2016 - Dec, 2020

Advanced Artificial Intelligence (Tokyo Institute of Technology)
Oct, 2015 - Mar, 2016

Machine Inference (in Japanese) (Tokyo Institute of Technology)
Apr, 2001 - Sep, 2004

Logical Mathematics (in Japanese) (Kobe University)
Oct, 2002 - Feb, 2004

Language Theory and Automata (in Japanese) (Kobe University)
Apr, 2003 - Sep, 2003

Artificial Intelligence Foundations (Kobe University)
Apr, 1998 - Sep, 2003

Advanced Data Processing II (in Japanese) (Kobe University)
Apr, 1997 - Sep, 2003

Advanced Data Processing I (in Japanese) (Kobe University)
Apr, 1998 - Jul, 2002

Artificial Intelligence Applications (Kobe University)
Oct, 1997 - Feb, 2001

Data Processing II (in Japanese) (Kobe University)
Apr, 1997 - Sep, 2000

Data Processing I (in Japanese) (Kobe University)
Dec, 1993 - Feb, 1997

Logical Mathematics (in Japanese) (Toyohashi University of Technology)
Sep, 1993 - Dec, 1996

Formal Language Theory (in Japanese) (Toyohashi University of Technology)
Apr, 1994 - Jul, 1996

Artificial Intelligence (Toyohashi University of Technology)
Apr, 1994 - Jul, 1996

Advanced Computer Engineering I (in Japanese) (Toyohashi University of Technology)
Apr, 1982 - Mar, 1984

PL/I (in Japanese) (Kyoto Computer Gakuin)