Katsumi Inoue


Katsumi Inoue

J-GLOBAL         Last updated: May 8, 2017 at 18:16
 
Avatar
Name
Katsumi Inoue
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 Areas

 

Academic & Professional Experience

 
Apr 2015
 - 
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
 
Mar 2004
 - 
Today
Professor, National Institute of Informatics
 
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.
 

Published Papers

 
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, and Naoyuki Tamura
In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017)   LNCS to appear   Jul 2017   [Refereed]
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks
Sophie Tourret, Enguerrand Gentet, and Katsumi Inoue
The 14th International Symposium on Neural Networks (ISNN 2017)   LNCS to appear   Jun 2017   [Refereed]
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
Algorithms   10(1)    Jan 2017   [Refereed]
Learning Delays in Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, and Katsumi Inoue
Genomics and Computational Biology   3(2) e43   Jan 2017   [Refereed]
Multi-Objective Nurse Rerostering Problem
Shih-Min Wu, Tenda Okimoto, Katsutoshi Hirayama, and Katsumi Inoue
In: Quan Bai, Fenghui Ren, Katsuhide Fujita, Minjie Zhang and Takayuki Ito (eds.), Multi-agent and Complex Systems, Chapter 10, Studies in Computational Intelligence,   607 139-152   Jan 2017   [Refereed]
Analyzing Resilience Properties in Oscillatory Biological Systems Using Parametric Model Checking
Alexander Andreychenko, Morgan Magnin, and Katsumi Inoue
BioSystems   149 50-58   Dec 2016   [Refereed]
An Incremental SAT Method Library and its Application (in Japanese)
Tatsuya Sako, Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Hidetomo Nabeshima, and Katsumi Inoue
Computer Software   33(4) 16-29   Nov 2016   [Refereed]
Meta-Level Abduction
Katsumi Inoue
IfCoLog Journal of Logics and their Applications   3(3) 7-35   Oct 2016   [Refereed]
Learning from Interpretation Transition using Feed-Forward Neural Networks
Enguerrand Gentet, Sophie Tourret, and Katsumi Inoue
The 26th International Conference on Inductive Logic Programming (ILP 2016; London, UK),      Sep 2016   [Refereed]
Inference of Delayed Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, and Katsumi Inoue
In: Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.), Computational Methods in Systems Biology: Proceedings of the 14th International Conference (CMSB 2016; Cambridge, UK), Lecture Notes in Bioinformatics,   9859 30-48   Sep 2016   [Refereed]
teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Torsten Schaub, Takehide Soh, Naoyuki Tamura, and Philipp Wanko
In: Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy),   13-32   Aug 2016   [Refereed]
Σx-Optimal Solutions in Highly Symmetric Multi-Objective Timetabling Problems
Maxime Clement, Tenda Okimoto, Katsumi Inoue, and Mutsunori Banbara
In: Edmund K. Burke, Luca Di Gaspero, Ender Özcan, Barry McCollum and Andrea Schaerf (eds.), Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016; Udine, Italy),   63-79   Aug 2016   [Refereed]
Abduction, Conversational Implicature, and Misleading in Human Dialogues
Chiaki Sakama and Katsumi Inoue
Logic Journal of the IGPL   24(4) 526-541   Aug 2016   [Refereed]
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, and Pierre Marquis
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York City, NY, USA),   1237-1243   Jul 2016   [Refereed]
Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation
Tony Ribeiro, Damien Bouchabou, Tenda Okimoto, and Katsumi Inoue
In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16; New York City, NY, USA),   454-460   Jul 2016   [Refereed]
Learning Deduction Rules by Induction
Chiaki Sakama, Tony Ribeiro, and Katsumi Inoue
In: Katsumi Inoue, Hayato Ohwada and Akihiro Yamamoto (eds.), Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference (ILP 2015; Kyoto, Japan), Lecture Notes in Artificial Intelligence,   9575 183-199   Jul 2016   [Refereed]
Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments
Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, and Christine Froidevaux
In: Katsumi Inoue, Hayato Ohwada and Akihiro Yamamoto (eds.), Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto University, Kyoto, Japan), CEUR Workshop Proceedings,   1636 95-100   Jul 2016   [Refereed]
Learning Relational Dynamics of Stochastic Domains for Planning
David Martínez, Tony Ribeiro, Katsumi Inoue, Guillem Alenya, and Carme Torras
In: Proceedings of the 26th International Conference on Automated Planning and Scheduling, (ICAPS 2016; London, UK),   235-243   Jun 2016   [Refereed]
Probabilistic Resilience in Hidden Markov Models
Jacopo Panerati, Giovanni Beltrame, Nicolas Schwind, Atefan Zeltner, and Katsumi Inoue
In: Proceedings of the 4th International Conference on Manufacturing, Optimization, Industrial and Material Engineering 2016 (MOIME 2016; Bali, Indonesia), Materials Science and Engineering,   131(1) 12007   Jun 2016   [Refereed]
Representative Solutions for Multi-Objective Constraint Optimization Problems
Nicolas Schwind, Tenda Okimoto, Maxime Clement, and Katsumi Inoue
In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016; Cape Town, South Africa),   601-604   Apr 2016   [Refereed]

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   

Conference Activities & Talks

 
Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks (in Japanese)
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   25 May 2017   
Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network
Maxime Clement, Tenda Okimoto, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   25 May 2017   
Modeling of Trans-Device Contents Experience and Knowledge Development for TV Audience Detection (in Japanese)
Kortaro Okazaki, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   24 May 2017   
Building Teams Resilient to Change
Nicolas Schwind, Emir Demirović, Tenda Okimoto, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   24 May 2017   
A Study for Probabilistic Coalition Structure Generation Problem (in Japanese)
Tenda Okimoto, Nicolas Schwind, Katsutoshi Hirayama, Katsumi Inoue, Pierre Marquis
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   23 May 2017   
Implementation of a SAT Solver Guided by MaxSAT Oracle Using GPGPU (in Japanese)
Junya Yamaguchi, Sophie Tourret, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   23 May 2017   
Generating Software Test Cases with Answer Set Programming (in Japanese)
Hitomi Komata, Katsumi Inoue
The 31st Annual Conference on Japanese Society for Artificial Intelligence (JSAI 2017; Nagoya, Aichi, Japan)   23 May 2017   
Modeling of Trans-Device Contents Experience and Knowledge Development for TV Audience Detection (in Japanese)
Kortaro Okazaki, Katsumi Inoue
The First Workshop on Computational Social Science Japan   26 Feb 2017   
Learning from Interpretation Transition: Algorithms, Extensions and Applications [Invited]
Katsumi Inoue
Joint Franco-Japanese Seminar on Knowledge Representation and Reasoning   8 Dec 2016   
Learning Delays in Biological Regulatory Networks from Time Series Data
Emna Ben Abdallah, Tony Ribeiro, Morgan Magnin, Olivier Roux, and Katsumi Inoue
The Fifth International Workshop on Hybrid Systems Biology   20 Oct 2016   

Misc

 
Abduction in AI (in Japanese)
Katsumi Inoue
Encyclopedia of Artificial Intelligence   5-23   2017   [Invited]
Machine Learning and Knowledge Discovery (in Japanese)
Katsumi Inoue
Knowledge Base, The Institute of Electronics, Information and Communication Engineers, S3-3-3   3-4   2017   [Invited]
SAT and AI (in Japanese)
Katsumi Inoue
IPSJ Magazine   57(8) 720-723   Jul 2016   [Invited]
Recent Topics of SAT Solvers (in Japanese)
Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
IPSJ Magazine   57(8) 724-729   Jul 2016   [Invited]
GlueMiniSat 2.2.10-81
Hidetomo Nabeshima, Koji Iwanuma, and Katsumi Inoue
In: Tomáš Balyo, Marijn J. H. Heule and Matti Järvisalo (eds.), Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions (Bordeaux, France, July 5-8, 2016), Department of Computer Science Series of Publications   B-2016-1 43   Jul 2016

Awards & Honors

 
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, and Katsumi Inoue
 
Jun 2016
Applying Constraint Answer Set Programming to Combinatorial Test Case Generation Problems, JSAI Annual Conference Award 2015, Japanese Society for Artificial Intelligence
Winner: Hiromasa Kaneyuki, Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, and Katsumi Inoue
 
Nov 2015
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, and 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, and 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
Winner: Hidetomo Nabeshima, Kohji Iwanuma,Katsumi Inoue
 
Dec 2013
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, and 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)
Winner: Alexandre Medi, Tenda Okimoto, and Katsumi Inoue
 
May 2013
Systems resilience: a challenge problem for dynamic constraint-based agent systems, Best Challenges and Visions Paper Award (3rd Prize), The 12th International Conference on Autonomous Agents and Multi-Agent Systems
Winner: Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama
 
Jul 2013
glueminisat-cert-unsat 2.2.7j, Silver Prize (Application, Certified UNSAT), SAT Competition 2013
Winner: Hidetomo Nabeshima
 
Oct 2012
IEEE Computer Society Japan Chapter JAWS Young Researcher Award, Joint Agent Workshop and Symposium 2012 (JAWS 2012)
Winner: Tenda Okimoto
 

Research Grants & Projects

 
Learning Relational Dynamics from State Transition
Japanese Society for the Pfomotion of Science: JSPS Grant-in-Aid for Scientific Research (A)
Project Year: Apr 2017 - Mar 2021    Investigator(s): Katsumi Inoue
Research and Development of a New Constraint Programming System Based on SAT
Japanese Society for the Pfomotion 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 2018    Investigator(s): Katsumi Inoue
Modeling and Inference of Resilient Systems
Japanese Society for the Pfomotion of Science: JSPS Grant-in-Aid for Scientific Research (B)
Project Year: Apr 2014 - Mar 2017    Investigator(s): Katsumi Inoue
Learning Cellular Automata Represented as Logic Programs
Japanese Society for the Pfomotion of Science: JSPS Grant-in-Aid for Challenging Exploratory Research
Project Year: Apr 2014 - Mar 2016    Investigator(s): Katsumi Inoue

Education

 
 
 - 
Jan 1993
PhD Degree (Engineering), Department of Applied Mathematics and Physics, Kyoto University
 
 
 - 
Mar 1984
Department of Applied Mathematics and Physics, Graduate School, Division of Engineering, Kyoto University
 
 
 - 
Mar 1982
Department of Applied Mathematics and Physics, Faculty of Engineering, Kyoto University
 

Committee Memberships

 
Apr 2017
 - 
Today
The Japanese Society for Artificial Intelligence  Delegate
 
Dec 2016
 - 
Today
The 27th International Conference on Inductive Logic Programming (ILP 2017)  Member of Program Committee
 
Nov 2016
 - 
Today
The 26th International Joint Conference on Artificial Intelligence (IJCAI-17)  Member of Senior Program Committee
 
Oct 2016
 - 
Today
The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017)  Member of Program Committee
 
Dec 2015
 - 
Today
The 26th International Conference on Inductive Logic Programming (ILP 2016)  Member of Program Committee
 
Sep 2014
 - 
Today
The 25h International Conference on Inductive Logic Programming (ILP 2015)  Conference co-Chair
 
Oct 2010
 - 
Today
NII Shonan Meetings  Member of Academic Committee
 
Mar 2005
 - 
Today
Theory and Practice of Logic Programming (Cambridge Journal)  Editorial Advisor
 
Jan 2016
 - 
Jan 2016
The 32nd International Conference on Logic Programming (ICLP 2016)  Member of Program Committee
 
May 2014
 - 
Jun 2016
The Japanese Society for Artificial Intelligence  Director