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...
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]
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
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]
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]
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
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]
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)
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
"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)
"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
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
