Katsumi Inoue


Katsumi Inoue

J-GLOBAL         Last updated: Jan 16, 2020 at 17:55
 
Avatar
Name
Katsumi Inoue
URL
http://research.nii.ac.jp/il/
Affiliation
National Institute of Informatics
Section
Principles of Informatics Research Division
Job title
Professor
Degree
Doctor of Engineering
Other affiliation
SOKENDAI (The Graduate University for Advanced Studies)Tokyo Institute of Technology
Research funding number
10252321

Profile

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 Areas

 
 

Academic & Professional Experience

 
Apr 2016
 - 
Today
Specially Appointed Professor, School of Computing, Tokyo Institute of Technology
 
Apr 2005
 - 
Today
Professor, Department of Informatics, School of Multidisciplinary Sciences, The Graduate University for Advanced Studies (SOKENDAI)
 
Mar 2004
 - 
Today
Professor, National Institute of Informatics
 
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
 

Published Papers

 
From 3-valued semantics to supported model computation for logic programs in vector spaces
Taisuke Sato. Chiaki Sakama, Katsumi Inoue
In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020; Valletta, Malta, 22-24 February 2020)   to appear   Feb 2020   [Refereed]
Learning Logic Programs from Noisy State Transition Data
Yin Jun Phua, Katsumi Inoue
In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019; Plovdiv, Bulgaria, September 3-5, 2019), Lecture Notes in Artificial Intelligence,   to appear    Feb 2020   [Refereed]
Received: Best Student Paper Award.
Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
In: Principles and Practice of Multi-Agent Systems: Proceedings of the 22nd International Conference (PRIMA 2019; Turin, Italy, October 28–31, 2019), Lecture Notes in Artificial Intelligence,   11873 370-386   Sep 2019   [Refereed]
Chiaki Sakama, Katsumi Inoue
In: Gabriele Kern-Isberner, Zoran Ognjanović (eds), Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proceedings of the 15th European Conference (ECSQARU 2019; Belgrade, Serbia, Sep 18-20, 2019), Lecture Notes in Artificial Intelligence   11726 87-98   Sep 2019   [Refereed]
Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
Künstliche Intelligenz   33(3) 267-278   Sep 2019   [Refereed]
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)   1865-1871   Aug 2019   [Refereed]
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)   6186-6190   Aug 2019   [Refereed]
Sister Conferences Best Papers Track
Scalable Learning of Logic Programs with Neural Networks
Yin Jun Phua, Katsumi Inoue
The 3rd International Workshop on Symbolic-Neural Learning (SNL-2019)   Poster presentation   Jul 2019   [Refereed]
Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications   6(4) 695-708   Jun 2019   [Refereed]
Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
New Generation Computing   37(2) 141-158   Apr 2019   [Refereed][Invited]
Katsumi Inoue, Chiaki Sakama
New Generation Computing   37(2) 219-243   Apr 2019   [Refereed][Invited]
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research   275(1) 3-37   Apr 2019   [Refereed]
Identifying Goals of Agents by Learning from Observations
Guillaume Lorthioir, Gauvain Bourgne, 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 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]

Conference Activities & Talks

 
Inferring Agent's Goals from Observing Successful Traces
Guillaume Lorthioir Katsumi Inoue, Gauvain Bourgne
Proceedings of the 33rd Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2019; Niigata, Japan), 2O5-E-3-04   5 Jun 2019   
Learning Logic Programs from Noisy State Transition Data (in Japanese)
Yin Jun Phua, Katsumi Inoue
Proceedings of the 33rd Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2019; Niigata, Japan), 1Q4-J-2-02   4 Jun 2019   
Resilient Nurse Scheduling Problem (in Japanese)
Tenda Okimoto, Katsutoshi Hirayama, Mutsunori Banbara, Katsumi Inoue
Forum on Information Technology 2018   19 Sep 2018   
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.

Misc

 
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
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
arXiv:1805.00068      Apr 2018
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)    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]

Books etc

 
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

Awards & Honors

 
Nov 2019
Learning Logic Programs from Noisy State Transition Data, Best Student Paper Award, ILP 2019: 29th International Conference on Inductive Logic Programming,
Winner: Yin Jun Phua, Katsumi Inoue
 
Sponsored by Machine Learning Journal, Springer
Sep 2018
"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
Winner: Tomoya Sunda, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
 
Jul 2018
"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
Winner: Haruki Noritake, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue
 

Research Grants & 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)
Project Year: Apr 2018 - Mar 2022    Investigator(s): Prof. Chiaki Sakama (Wakayama University)
Learning Relational Dynamics from State Transition
Japanese Society for the Promotion of Science: JSPS Grant-in-Aid for Scientific Research (A)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Katsumi Inoue
Research on Robust Team Formation in Dynamic Environments
Japanese Society for the Promotion of Science: JSPS Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Assoc. Prof. Tenda Okimoto (Kobe University)
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)
Project Year: Apr 2016 - Mar 2019    Investigator(s): Prof. Naoyuki Tamura (Kobe University)
Research on Intention Recognition under Dynamic Environments
Video Research Ltd.: Commissioned Research
Project Year: Oct 2014 - Mar 2020    Investigator(s): Katsumi Inoue

Committee Memberships

 
Jan 2020
 - 
Today
The 30th International Conference on Inductive Logic Programming (ILP 2020)  Member of Program Committee
 
Dec 2019
 - 
Today
The 18th International Conference on Computational Methods in Systems Biology (CMSB 2020)  Member of Program Committee
 
Sep 2019
 - 
Today
The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)  Senior Program Committee member
 
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
 
Feb 2019
 - 
Dec 2019
The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019)  Member of Program Committee
 
Nov 2018
 - 
Nov 2019
The 29th International Conference on Inductive Logic Programming (ILP 2019)  Member of Program Committee