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 2018年7月 [査読有り]
Chiaki Sakama, Hien Nguyen, Taisuke Sato, Katsumi Inoue
FLOC 2018 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), EasyChair Preprint 172 2018年7月 [査読有り]
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Tobias Kaminski, Thomas Eiter, Katsumi Inoue
Theory and Practice of Logic Programming accepted 2018年7月 [査読有り]
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 2018年7月 [査読有り]
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 2018年7月 [査読有り]
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 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月 [査読有り]
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 2018年3月 [査読有り]
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
Annals of Operations Research forthcoming 2018年1月 [査読有り]
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 2017年12月 [査読有り]
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 2017年8月 [査読有り]
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 2017年8月 [査読有り]
In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017; Thessaloniki, Greece, 24-26 July 2017), 1 53-61 2017年7月 [査読有り]
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 2017年7月 [査読有り]
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 2017年7月 [査読有り]
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 2017年6月 [査読有り]
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)
Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming 2017年9月19日
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.
確率的な提携構造形成フレームワークの提案
沖本 天太, 平山 勝敏, シュウィンド ニコラ, 井上 克巳, マルキ ピエール
情報科学技術フォーラム 2017 (FIT 2017) 2017年9月12日
情報科学技術フォーラム講演論文集 第2分冊 pp.65-70.
リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習
ポア インジュン,Sophie Tourret,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋) 2017年5月25日
Comparing Multi-Objective Selection Methods using a Simulation of Dynamic Sensor Network
Maxime Clement, Tenda Okimoto, Katsumi Inoue
第31回人工知能学会全国大会 (JSAI 2017; 名古屋) 2017年5月25日
多デバイス接触履歴からの視聴行動モデル化と知識更新
岡崎 孝太郎,井上 克巳
第31回人工知能学会全国大会 (JSAI 2017; 名古屋) 2017年5月24日
Building Teams Resilient to Change
Nicolas Schwind, Emir Demirović, Tenda Okimoto, Katsumi Inoue
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"
受賞者: Alexandre Medi, Tenda Okimoto, Katsumi Inoue
2013年5月
The 12th International Conference on Autonomous Agents and Multi-Agent Systems Best Challenges and Visions Paper Award (3rd Prize) "Systems Resilience: A Challenge Problem for Dynamic Constraint-Based Agent Systems"
受賞者: Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Hei Chan, Tony Ribeiro, Kazuhiro Minami, Hiroshi Maruyama
2013年7月
SAT Competition 2013 銀賞 (Application, Certified UNSAT) glueminisat-cert-unsat 2.2.7j
The 28th International Conference on Inductive Logic Programming (ILP 2018) Member of Program Committee
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年7月
The 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18) Member of Senior Program Committee
2016年12月
-
2018年4月
The 27th International Conference on Inductive Logic Programming (ILP 2017) Member of Program Committee
2017年6月
-
2018年2月
The 32nd AAAI Conference on Artificial Intelligence (AAAI-18) Member of Program Committee
2014年9月
-
2017年12月
The 25h International Conference on Inductive Logic Programming (ILP 2015) Conference co-Chair
2017年5月
-
2017年10月
The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Member of Program Committee