Katsumi Inoue

J-GLOBAL         Last updated: May 26, 2018 at 12:38
 
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 Areas

 

Academic & Professional Experience

 
Apr 2018
 - 
Today
Chair, Department of Informatics, SOKENDAI (The Graduate University for Advanced Studies)
 
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

 
Abducing Relations in Continuous Spaces
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
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)   accepted   Jul 2018   [Refereed]
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
FLOC 2018 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), EasyChair Preprint   172    Jul 2018   [Refereed]
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Theory and Practice of Logic Programming   accepted   Jul 2018   [Refereed]
To be presented at the 31st International Conference on Logic Programming (ICLP 2018; Oxford, UK, July 14-17, 2018).
Learning Commonsense Knowledge through Interactive Dialogue
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
In: Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2018; Oxford, UK, July 14-17, 2018)   accepted   Jul 2018   [Refereed]
Recoverable Team Formation: Building Teams Resilient to Change
Emir Demirović, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   forthcoming   Jul 2018   [Refereed]
Also to be presented at: The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018; Delft, The Netherlands, June 26-29, 2018) as an extended abstract of a work pub...
Multi-Objective Distributed Pseudo-Tree Optimization
Maxime Clement, Tenda Okimoto, Katsumi Inoue
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018)   forthcoming   Jul 2018   [Refereed]
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
In: Nicolas Lachiche, Christel Vrain (eds.), Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017; Orléans, France, September 4-6, 2017), CEUR Workshop Proceedings   2085 27-37   Mar 2018   [Refereed]
Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
In: Nicolas Lachiche, Christel Vrain (eds.), Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017; Orléans, France, September 4-6, 2017), Lecture Notes in Computer Science   10759 124-139   Mar 2018   [Refereed]
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research   forthcoming   Jan 2018   [Refereed]
January 2018: Online First
To be presented at: The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018; Delft, The Netherlands, June 24-29, 2018) as an accepted paper for Journal Presentation Track.
Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem
Huynh Thanh Trung, Pham Quang Dung, Emir Demirović, Maxime Clement, Katsumi Inoue
In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017; December 2017, Kuala Lumpur, Malaysia)   214-228   Dec 2017   [Refereed]
Distributed Pareto Local Search for Multi-Objective DCOPs
Maxime Clement, Tenda Okimoto, Katsumi Inoue
IEICE Transactions on Information and Systems   100-D(12) 2897-2905   Dec 2017   [Refereed]
Special issue on inductive logic programming
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
Machine Learning   106(12) 1863-1865   Dec 2017   [Invited]
Solving Problems on a Knowledge Model of Operators and Application
Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
International Journal of Digital Enterprise Technology   accepted   Oct 2017   [Refereed]
David Martínez, Guillem Alenya, Tony Ribeiro, Katsumi Inoue, Carme Torras
Journal of Machine Learning Research   18(78) 1-78   Oct 2017   [Refereed]
Hidetomo Nabeshima, Katsumi Inoue
In: Serge Gaspers, Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science,   10491 136-144   Aug 2017   [Refereed]
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence,   10412 520-533   Aug 2017   [Refereed]
Received "Best Paper Award".
Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences
Kotaro Okazaki, Katsumi Inoue
In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017; Thessaloniki, Greece, 24-26 July 2017),   1 53-61   Jul 2017   [Refereed]
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
In: Marcello Balduccini, Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence,   10377 265-278   Jul 2017   [Refereed]
Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks
Yin Jun Phua, Sophie Tourret, Katsumi Inoue
In: Proceedings of the 1st International Workshop on Symbolic-Neural Learning (SNL-2017; Nagoya, Japan, July 7-8, 2017),   No.10   Jul 2017   [Refereed]
Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks
Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
In: Fengyu Cong, Andrew Leung, Qinglai Wei (eds.), Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017; Sapporo, Japan, June 21-23, 2017), Part 1, Lecture Notes in Computer Science,   10261 483-492   Jun 2017   [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 Dynamics from Limited Sample with Multilayer Perceptron Initialized by Weight Prediction (in Japanese)
Yin Jun Phua, Katsumi Inoue
The 32nd Annual Conference on 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 on Japanese Society for Artificial Intelligence (JSAI 2018; Kagoshima, Japan)   6 Jun 2018   
Learning Programs from Observations [Invited]
Katsumi Inoue
Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming   19 Sep 2017   
Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports, Volume 7, Issue 9, March 2018.
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.
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   

Misc

 
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
CoRR abs/1805.00068, arXiv.org      Apr 2018
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]
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]

Awards & Honors

 
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
 
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, 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, 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
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, 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, 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
 

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 2019    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

 
Feb 2018
 - 
Today
The 28th International Conference on Inductive Logic Programming (ILP 2018)  Member of Program Committee
 
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
 - 
Jul 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
 
Dec 2016
 - 
Apr 2018
The 27th International Conference on Inductive Logic Programming (ILP 2017)  Member of Program Committee
 
Jun 2017
 - 
Feb 2018
The 32nd AAAI Conference on Artificial Intelligence (AAAI-18)  Member of Program Committee
 
Sep 2014
 - 
Dec 2017
The 25h International Conference on Inductive Logic Programming (ILP 2015)  Conference co-Chair
 
May 2017
 - 
Oct 2017
The 3rd Global Conference on Artificial Intelligence (GCAI 2017)  Member of Program Committee