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 2018年11月 [査読有り]
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 2018年11月 [査読有り]
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 2018年10月 [査読有り]
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), LLecture Notes in Artificial Intelligence, 11224 140-157 2018年10月 [査読有り]
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 2018年7月 [査読有り]
Theory and Practice of Logic Programming 18(3-4) 571-588 2018年7月 [査読有り]
The oral presentation was given at: The 31st International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14-17, 2018.
Received "Best Paper Award".
Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018; July 14-17, 2018, Oxford, UK): OASICS 64, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 12 1-19 2018年7月 [査読有り]
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) 1362-1370 2018年7月 [査読有り]
In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018; Stockholm, Sweden, July 10-15, 2018) 1903-1905 2018年7月 [査読有り]
Learning from Noisy Transition Data
Yin Jun Phua, Katsumi Inoue
The 2nd International Workshop on Symbolic-Neural Learning (SNL-2018; Nagoya, Japan, July 6, 2018) Poster presentation 2018年7月 [査読有り]
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 2018年3月 [査読有り]
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 2018年6月26日
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 2018年6月24日
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports 7(9) 2018年3月 [依頼有り]
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 (担当:共編者)
Springer 2016年7月
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 (担当:共編者)
CEUR Workshop Proceedings, Vol. 1636 2016年7月
Computational Framework of Resilience
Nicolas Schwind, Kazuhiro Minami, Hiroshi Maruyama, Leena Ilmola, and Katsumi Inoue (担当:共著, 範囲:Chapter 12, in: Yoshiki Yamagata and Hiroshi Maruyama (eds.), Urban Resilience: A Transformative Approach)
Springer 2016年8月
システムのレジリエンス―さまざまな擾乱からの回復力―
情報・システム研究機構 新領域融合センター (担当:共著)
近代科学社 2016年4月
Logical Modeling of Biological Systems
Luis Fariñas del Cerro and Katsumi Inoue (担当:共編者)
Wiley (ISTE), London, UK 2014年8月 ISBN:9781848216808
The 31st International Conference on Logic Programming (ICLP 2018) Best Paper Award "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning"
受賞者: Tobias Kaminski, Thomas Eiter, Katsumi Inoue
2017年8月
KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"
ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems) Best Presentation Award & Best Session Paper Award "Skill-Based Dynamic Team Formation Problem"
受賞者: Tenda Okimoto, Maxime Clement, Katsutoshi Hirayama, Katsumi Inoue
The 7th International Workshop on Multi-Disciplinary Trends in Artificial Intelligence (MIWAI 2013) Best Presentation Award "AOF-Based Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization"
受賞者: Tenda Okimoto, Maxime Clement, Katsumi Inoue
2013年9月
合同エージェントワークショップ＆シンポジウム2013 (JAWS 2013) 優秀論文賞 "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"
The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019) Member of Program Committee
2018年12月
-
現在
The 35th International Conference on Logic Programming (ICLP 2019) Member of Program Committee
2018年11月
-
現在
The 28th International Conference on Inductive Logic Programming (ILP 2019) Member of Program Committee
2018年6月
-
現在
NII Shonan Meeting 157: “Formal Methods for the Synthesis of Biomolecular Circuits” Co-Organizer
2017年9月
-
現在
Atlanstic 2020, France Member of Scientific Committee
2017年4月
-
現在
（一社）人工知能学会 代議員
2010年10月
-
現在
NII 湘南会議 学術委員
2005年3月
-
現在
Theory and Practice of Logic Programming (Cambridge Journal) Editorial Advisor
2017年10月
-
2018年11月
The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) Member of Senior Program Committee
2018年5月
-
2018年10月
The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) Member of Program Committee
