井上克巳

総合研究大学院大学複合科学研究科情報学専攻教授
東京工業大学情報理工学院特任教授

2018 - 2022 テンソル空間における巨大知識グラフのための高次推論技術の開発
2017 - 2021 動的環境におけるロバストなチーム編成に関する研究
2017 - 2021 状態遷移列からの関係ダイナミクス学習
2014 - 2021 ダイナミック環境下における意図認識に関する研究
2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発

全件表示

Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean Marie Lagniez. Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. The 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021). 2021. to appear
Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux. Les enjeux de l’inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles. In: Elisabeth Remy, Cédric Lhoussaine (eds.), Approches Symboliques de la Modélisation et de l’Analyse des Systèmes Biologiques. 2021. (to appear)
Mitsuhiro Odaka, Katsumi Inoue. Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication. In: Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020). 2020. 75-82
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama. Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. In: Proceedings of the 36th International Conference on Logic Programming (Technical Communications) (ICLP 2020; UNICAL, Rende, Italy, 18-24 September 2020), Electronic Proceedings in Theoretical Computer Science. 2020. 325. 192-205
Akihiro Takemura, Katsumi Inoue. Rule Extraction from Decision Tree Ensembles by Answer Set Programming. The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). 2020. poster

Hidetomo Nabeshima, Katsumi Inoue. ManyGlucose 4.1-60. Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2020. B-2020-1. 58
井上克巳, 坂間千秋, 佐藤泰介. 推論とAIプログラミング. 人工知能学会誌. 2019. 34. 5. 703-713
Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispüh. Computational Intractability Law Molds the Topology of Biological Networks. bioRxiv. 2019. 510495
Tobias Kaminski, Thomas Eiter, Katsumi Inoue. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR. 2018. abs/1805.00068
Katsumi Inoue. Learning Programs from Observations. In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports. 2018. 7. 9

Computational Framework of Resilience
Springer 2016 ISBN:9783319398105
Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto, Japan, August 20-22, 2015)
CEUR Workshop Proceedings, Vol. 1636 2016
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
Springer 2016 ISBN:9783319405650
システムのレジリエンス-さまざまな擾乱からの回復力-
近代科学社 2016 ISBN:9784764905085
Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding
Imperial College Press 2014

記号推論と科学
(JST-CRDS 俯瞰セミナーシリーズ「機械学習と科学」 2020)
解集合プログラミングによる決定木アンサンブルからのルール抽出
(2020年度人工知能学会全国大会(第34回), 3E5-GS-2-03 2020)
説明可能な論理規則のグラフ埋め込みによる学習 (in Japanese)
(2020年度人工知能学会全国大会(第34回), 3E1-GS-2-02 2020)
Inferring Player’s Strategy to Design Adaptive Agents in RTS Game
(The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 2G6-ES-3-02 2020)
解集合プログラミングによる様相命題論理Kの充足可能性判定
(2020年度人工知能学会全国大会(第34回), 2N5-OS-17b-05 2020)

- 1993 京都大学博士(工学)
1982 - 1984 京都大学数理工学専攻
1978 - 1982 京都大学数理工学科

博士(工学) (京都大学)

2020/02 - 現在 École Centrale de Nantes 客員教授
2016/04 - 現在東京工業大学情報理工学院特任教授
2005/04 - 現在総合研究大学院大学複合科学研究科情報学専攻教授
2004/03 - 現在国立情報学研究所教授
2015/04 - 2016/03 東京工業大学大学院情報理工学研究科特任教授

全件表示

2020/08 - 現在 The 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Member of Senior Program Committee
2020/05 - 現在 The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio2020) Member of Program Committee
2020/01 - 現在 The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee
2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee
2017/04 - 現在 (一社)人工知能学会代議員

2010/10 - 現在 NII 湘南会議学術委員

2019/09 - 2021/01 The 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020) Senior Program Committee member

2020/06 - 2020/12 The 34th Annual Conference on Neural Information Processing Systems (NeurIPS 2020) Reviewer

2005/03 - 2020/12 Theory and Practice of Logic Programming (Cambridge Journal) Editorial Advisor

2020/04 - 2020/09 The 13th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2020) Member of Program Committee

2020/02 - 2020/09 The 18th International Workshop on Non-Monotonic Reasoning (NMR 2020) Member of Program Committee

2020/01 - 2020/09 The 36th International Conference on Logic Programming (ICLP 2020) Member of Program Committee

2020/01 - 2020/09 The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) Area Chair

2019/12 - 2020/09 The 18th International Conference on Computational Methods in Systems Biology (CMSB 2020) Member of Program Committee

2018/06 - 2020/01 NII湘南会議 No. 157: “Formal Methods for the Synthesis of Biomolecular Circuits” Co-Organizer

2019/02 - 2019/12 The 10th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2019) Member of Program Committee

2018/11 - 2019/11 The 29th International Conference on Inductive Logic Programming (ILP 2019) Member of Program Committee

2018/12 - 2019/09 The 35th International Conference on Logic Programming (ICLP 2019) Member of Program Committee

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/05 - 2018/10 The 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) Member of Program Committee

2018/02 - 2018/09 The 28th International Conference on Inductive Logic Programming (ILP 2018) Member of Program Committee

2016/12 - 2018/04 The 27th International Conference on Inductive Logic Programming (ILP 2017) Member of Program Committee

2017/06 - 2018/02 The 32nd AAAI Conference on Artificial Intelligence (AAAI-18) Member of Program Committee

2014/09 - 2017/12 The 25h International Conference on Inductive Logic Programming (ILP 2015) Conference co-Chair

2017/05 - 2017/10 The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Member of Program Committee

2016/11 - 2017/08 The 26th International Joint Conference on Artificial Intelligence (IJCAI-17) Member of Senior Program Committee

2016/10 - 2017/07 The 14th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2017) Member of Program Committee

2015/12 - 2017/05 The 26th International Conference on Inductive Logic Programming (ILP 2016) Member of Program Committee

2016/01 - 2016/10 The 32nd International Conference on Logic Programming (ICLP 2016) Member of Program Committee

2014/05 - 2016/06 (一社)人工知能学会理事

2015/09 - 2016/05 The 16th International Workshop on Non-Monotonic Reasoning (NMR 2016) Member of Program Committee

2015 - The 1st Global Conference on Artificial Intelligence (GCAI 2015) Member of Program Committee

2015 - The 29th AAAI Conference on Artificial Intelligence (AAAI-15) Member of Program Committee

2015 - Workshop on Emergent Computational Logics (affiliated with The 5th World Congress and School on Universal Logic [UNILOG 2015]) Workshop co-Organizer

2015 - The 24th International Joint Conference on Artificial Intelligence (IJCAI-15) Member of Senior Program Committee

2015 - 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee

2015 - The 29th AAAI Conference on Artificial Intelligence (AAAI-15) Member of Program Committee

2015 - Workshop on Emergent Computational Logics (affiliated with The 5th World Congress and School on Universal Logic [UNILOG 2015]) Workshop co-Organizer

2015 - The 24th International Joint Conference on Artificial Intelligence (IJCAI-15) 4. Member of Senior Program Committee

2015 - 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee

2014 - Special Track on SAT and CSP Technologies, The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2014) Member of Program Committee

2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Member of Program Committee

2014 - Special Track on SAT and CSP Technologies, The 26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2014) Member of Program Committee

2014 - The 8th International Conference on the Prestigious Applications of Intelligent Systems (PAIS 2014) Member of Program Committee

2014 - The 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee

2014 - The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee

2014 - The 8th International Conference on the Prestigious Applications of Intelligent Systems (PAIS 2014) Member of Program Committee

2014 - The 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee

2014 - The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee

2014 - The 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) Member of Program Committee

2014 - The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Program Committee

2014 - The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Program Committee

2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Program Committee

2014 - he 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Program Committee

2014 - The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Program Comittee

2014 - The 1st International Conference on Formal Methods in Macro-Biology (FMMB 2014) Program Committee

2013 - The 23rd International Conference on Inductive Logic Programming (ILP 2013) Member of Program Committee

2013 - The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Member of Program Committee

2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Member of Program Committee

2013 - The 12th International Conference on Autonomous agents and Multiagent Systems (AAMAS 2013) Program Committee

2013 - The 1st Workshop on Systems Resilience (WSR 2013) Program Committee

2013 - The 23rd International Joint Conference on Artificial Intelligence (IJCAI-13) Program Committee

2013 - The 23rd International Conference on Inductive Logic Programming (ILP 2013) Program Committee

2013 - The 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIV) Program Committee

2013 - The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Program Committee

2013 - The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2013) Program Committee

2013 - 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) Workshop co-Chair

2013 - Special Track on SAT and CSP Technologies, The 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-SAT-CSP 2013) Program Committee

2013 - The 12th International Conference on Autonomous agents and Multiagent Systems (AAMAS 2013) Member of Program Committee

2013 - The 1st Workshop on Systems Resilience (WSR 2013) Member of Program Committee

2013 - The 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013) Member of Program Committee

2013 - The 22nd International Conference on Inductive Logic Programming (ILP 2013) Member of Program Committee

2013 - The 10th International Symposium on Frontiers of Combining Systems (FroCoS 2013) Member of Program Committee

2013 - The 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XIV Member of Program Committee

2013 - 1st International Workshop on Learning and Nonmonotonic Reasoning, LNMR 2013 Workshop co-Chair,

2012 - Computational Logic in Multi-Agent Systems (CLIMA) Steering Committee

2012 - The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) Program Committee

2012 - The 20th European Conference on Artificial Intelligence (ECAI 2012) Program Committee

2012 - The 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XIII) Program Committee

2012 - The 28th International Conference on Logic Programming (ICLP 2012) Program Committee

2012 - The 22nd International Conference on Inductive Logic Programming (ILP 2012) Program Committee

2012 - ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012) Workshop co-Organizer

2012 - The 20th European Conference on Artificial Intelligence (ECAI 2012) Member of Program Committee

2012 - The 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012) Member of Program Committee

2012 - The 28th International Conference on Logic Programming (ICLP 2012) Member of Program Committee

2012 - The 22nd International Conference on Inductive Logic Programming (ILP 2012) Member of Program Committee

2012 - ECML/PKDD 2012 Workshop on Learning and Discovery in Symbolic Systems Biology (LDSSB 2012) Workshop co-Organizer

2011 - The 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XI) Member of Program Committee

2011 - The 7th Workshop on Learning with Logics and Logics for Learning (LLLL 2011) Member of Program Committee

2011 - The 14th International Conference on Theory and Applications of Satisfiability Testing (SAT 2011) Member of Program Committee

2011 - The 8th International Workshop on First-Order Theorem Proving (FTP 2011) Member of Program Committee

2011 - The 27th International Conference on Logic Programming (ICLP 2011) Member of Program Committee

2011 - The 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-XII) Member of Program Committee

2011 - The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11) Member of Program Committee

2011 - The 21st International Conference on Inductive Logic Programming (ILP 2011) Member of Program Committee

2010 - The 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X) Member of Program Committee

2010 - The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer

2010 - Sub-Workshop on Preferences and Norm at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee

2010 - Sub-Workshop on Declarative Programming and Systems at the Non-Monotonic Reasoning Workshop 2010 (NMR 2010) Member of Program Committee

2010 - The 20th International Conference on Inductive Logic Programming (ILP 2010) Member of Program Committee

2004 - (社)人工知能学会論文誌編集委員

2003 - (社)人工知能学会評議員

1992 - 2002 (社)人工知能学会研究会連絡委員

1995 - 1999 (社)情報処理学会研究会連絡委員,査読委員

Computational Logic in Multi-Agent Systems (CLIMA) Member of Steering Committee

全件表示

2020/07 - SAT Competition 2020 3rd Places - Parallel Track & Parallel Track UNSAT ManyGlucose (4.1-60)
2019/11 - ILP 2019: 29th International Conference on Inductive Logic Programming, Best Student Paper Award "Learning Logic Programs from Noisy State Transition Data"
2018/09 - 情報処理学会情報処理学会論文誌・特選論文 "SAT技術を用いたペトリネットのデッドロック検出手法の提案"
2018/07 - The 34th International Conference on Logic Programming (ICLP 2018) Best Paper Award "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning"
2017/08 - KSEM 2017: The 10th International Conference on Knowledge Science, Engineering and Management Best Paper Award "Linear Algebraic Characterization of Logic Programs"

2016/09 - 日本ソフトウェア科学会第20回研究論文賞(2015年度) "パッキング配列問題の制約モデリングとSAT符号化"

2016/06 - 人工知能学会人工知能学会全国大会優秀論文賞 "組合せテストケース生成問題に対する制約解集合プログラミングの適用"

2015/11 - ISIS 2015 (The 16th International Symposium on Advanced Intelligent Systems) Best Presentation Award & Best Session Paper Award "Skill-Based Dynamic Team Formation Problem"

2014/10 - 合同エージェントワークショップ&シンポジウム2014 (JAWS 2014) 優秀論文賞 "ロバストなチーム編成問題"

2014/09 - 日本ソフトウェア科学会第3回ソフトウェア論文賞 "GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー"

2013/12 - 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"

2013/09 - 合同エージェントワークショップ&シンポジウム2013 (JAWS 2013) 優秀論文賞 "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"

2013/07 - SAT Competition 2013 銀賞 (Application, Certified UNSAT) glueminisat-cert-unsat 2.2.7j

2013/05 - 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"

2012/10 - 合同エージェントワークショップ&シンポジウム (JAWS) 2012 IEEE Computer Society Japan Chapter JAWS Young Researcher Award

2011/09 - 日本ソフトウェア科学会第28回大会高橋奨励賞

2011/06 - SAT 2011 Competition Application UNSAT部門・金賞,SAT+UNSAT部門・銀賞,UNSAT WC Time部門・銀賞 glueminisat

2011/01 - BIOINFORMATICS 2011 Best Student Paper Award

2010/06 - The 20th International Conference on Inductive Logic Programming (ILP2010) Best Student Paper Award

2009/06 - (社)人工知能学会 2009年度全国大会優秀賞

2006 - SCIS & ISIS 2006 Session Best Presentation Award

2000 - (社)人工知能学会 1999年度研究奨励賞

1988 - (社)情報処理学会学術奨励賞「導出を用いた仮説探索」

全件表示

日本ソフトウェア科学会 , AAAI , 情報処理学会 , 人工知能学会

井上 克巳