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.
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018; Hanoi, Vietnam, November 18-20, 2018), Lecture Notes in Artificial Intelligence, 11248 125-138 Nov 2018 [Refereed]
Computing Logic Programming Semantics in Linear Algebra
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018; Hanoi, Vietnam, November 18-20, 2018), Lecture Notes in Artificial Intelligence, 11248 32-48 Nov 2018 [Refereed]
Tenda Okimoto, Nicolas Schwind, Emir Demirović, Katsumi Inoue, Pierre Marquis
In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018; Tokyo, Japan, October 29 - November 2, 2018), Lecture Notes in Artificial Intelligence, 11224 140-157 Oct 2018 [Refereed]
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
Proceedings of the 16th International Conference Principles of Knowledge Representation and Reasoning (KR 2018; Tempe, Arizona, 30 October - 2 November 2018) 663-664 Oct 2018 [Refereed]
Proposal of SAT-Based Method to Detect Deadlock of Petri Nets (in Japanese)
Tomoya Sunda, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
IPSJ Journal 59(9) 1749-1760 Sep 2018 [Refereed]
Selected as "Specially Selected Paper" of IPSJ Journal.
Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier Roux, Katsumi Inoue
In: Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese (eds.), Inductive Logic Programming: Proceedings of the 28th International Conference (ILP 2018; Ferrara, Italy, September 2-4, 2018), Lecture Notes in Artificial Intelligence, 11105 118-140 Sep 2018 [Refereed]
Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
The 28th International Conference on Inductive Logic Programming (ILP 2018; Ferrara, Italy, September 2-4, 2018) Work-in-progress paper Sep 2018 [Refereed]
Using Reachability Properties of Logic Program for Revising Biological Models
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
The 28th International Conference on Inductive Logic Programming (ILP 2018; Ferrara, Italy, September 2-4, 2018) Work-in-progress paper Sep 2018 [Refereed]
Static Analysis and Stochastic Search for Reachability Problem
Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
Static Analysis in Systems Biology, affiliated with Static Analysis Symposium, (SASB 2018; Freiburg, Germany, August 28, 2018) Aug 2018 [Refereed]
Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge
Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018; August 23-24, Plague, Czech Republic) Aug 2018 [Refereed]
In: Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18; Stockholm, Sweden, July 13-19, 2018) 1956-1962 Jul 2018 [Refereed]
Recoverable Team Formation: Building Teams Resilient to Change
Emir Demirović, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018), An extended abstract of a work published in another outlet 26 Jun 2018
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), Journal presentation track 24 Jun 2018
Learning Dynamics from Limited Sample with Multilayer Perceptron Initialized by Weight Prediction (in Japanese)
Yin Jun Phua, Katsumi Inoue
The 32nd Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2018; Kagoshima, Japan) 8 Jun 2018
Solving Four Arithmetic Operation Problems and Word Algebra Problems by Neural Programmer-Interpreters (in Japanese)
Shota Katsumata, Katsumi Inoue
The 32nd Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2018; Kagoshima, Japan) 6 Jun 2018
Mathematical Approaches to Systems Resilience (in Japanese)[Invited]
Katsumi Inoue
Applications of Resilience Engineering to Quality and Safety in Healthcare 21 Feb 2018 Osaka University Hospital
Learning Programs from Observations[Invited]
Katsumi Inoue
Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming 19 Sep 2017
Framework for Probabilistic Coalition Structure Generation
Tenda Okimoto, Katsutoshi Hirayama, Nicolas Schwind, Katsumi Inoue, Pierre Marquis
Forum on Information Technology 2017 (FIT 2017) 12 Sep 2017
Proceedings of Forum on Information Technology 2017, Vol. 2, pp. 65-70.
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports 7(9) Mar 2018 [Invited]
Curriculum-Based Course Timetabling with Answer Set Programming (in Japanese)
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
Proceedings of the Twenty-Ninth RAMP Symposium 73-88 Oct 2017 [Invited]
Abduction in AI (in Japanese)
Katsumi Inoue
Encyclopedia of Artificial Intelligence 5-24 264-265 Jul 2017 [Invited]
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, and Akihiro Yamamoto (Part:Joint Editor)
Springer Jul 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, and Akihiro Yamamoto (Part:Joint Editor)
CEUR Workshop Proceedings, Vol. 1636 Jul 2016
Computational Framework of Resilience
Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, and Katsumi Inoue (Part:Joint Work, Chapter 12, in: Yoshiki Yamagata and Hiroshi Maruyama (eds.), Urban Resilience: A Transformative Approach)
Springer Aug 2016
Systems’ Resilience: Resilience from Various Disturbances (in Japanese)
Systems Resilience Project, Research Organization of Information and Systems (Part:Joint Work)
Kindai Kagakusha Apr 2016
Logical Modeling of Biological Systems
Luis Fariñas del Cerro and Katsumi Inoue (Part:Joint Editor)
Wiley (ISTE), London, UK Aug 2014 ISBN:9781848216808
"Proposal of SAT-Based Method to Detect Deadlock of Petri Nets" (in Japanese), Specially Selected Paper of Journal of Information Processing, Information Processing Society of Japan
"Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning", Best Paper Award, The 34th International Conference on Logic Programming (ICLP 2018)
Winner: Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Aug 2017
"Linear Algebraic Characterization of Logic Programs", Best Paper Award, KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management
Winner: Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Sep 2016
"Constraint Modeling and SAT Encoding of the Packing Array Problem", The 20th Research Paper Award, Japan Society for Software Science and Technology
"Applying Constraint Answer Set Programming to Combinatorial Test Case Generation Problems", JSAI Annual Conference Award 2015, Japanese Society for Artificial Intelligence
"Skill-Based Dynamic Team Formation Problem", Best Presentation Award & Best Session Paper Award, ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems)
Winner: Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
Oct 2014
"Robust Team Formation Problem" (in Japanese), Excellent Paper Award, Joint Agent Workshop and Symposium 2014 (JAWS 2014)
Winner: Tenda Okimoto, Nicolas Schwind, Maxime Clement, Katsumi Inoue.
Sep 2014
"GlueMiniSat 2.2.5: A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses", The software Paper Award of JSSST, Japan Society for Software Science and Technology
"AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization", Best Presentation Award, The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013)
Winner: Tenda Okimoto, Maxime Clement, Katsumi Inoue
Sep 2013
"A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization", Excellent Paper Award, Joint Agent Workshop and Symposium 2013 (JAWS 2013)
The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019) Member of Program Committee
Dec 2018
-
Today
The 35th International Conference on Logic Programming (ICLP 2019) Member of Program Committee
Nov 2018
-
Today
The 28th International Conference on Inductive Logic Programming (ILP 2019) Member of Program Committee
Jun 2018
-
Today
NII Shonan Meeting 157: “Formal Methods for the Synthesis of Biomolecular Circuits” Co-Organizer
Sep 2017
-
Today
Atlanstic 2020, France Member of Scientific Committee
Apr 2017
-
Today
The Japanese Society for Artificial Intelligence Delegate
Oct 2010
-
Today
NII Shonan Meetings Member of Academic Committee
Mar 2005
-
Today
Theory and Practice of Logic Programming (Cambridge Journal) Editorial Advisor
Oct 2017
-
Nov 2018
The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) Member of Senior Program Committee
May 2018
-
Oct 2018
The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) Member of Program Committee
