井上克巳

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

2022 - 2025 人工知能技術によるSARS-CoV-2マルチスケール感染系のネットワークダイナミクス解明
2021 - 2025 知識表現・推論と機械学習の統合によるロバストAIの実現
2018 - 2023 テンソル空間における巨大知識グラフのための高次推論技術の開発
2021 - 2022 新型コロナウイルスSARS-CoV-2感染系におけるネットワークダイナミクスのマルチスケールモデリング
2017 - 2022 状態遷移列からの関係ダイナミクス学習

2014 - 2022 ダイナミック環境下における意図認識に関する研究

2020 - 2021 新型コロナウイルス SARS-CoV-2 感染動態のマルチスケール定量解析

2017 - 2021 動的環境におけるロバストなチーム編成に関する研究

2016 - 2019 SATを基盤とした新しい制約プログラミングシステムの研究開発

2014 - 2017 レジリエントなシステムのモデル化と推論に関する研究

2014 - 2016 論理プログラム表現に基づくセルオートマトン遷移規則学習

2012 - 2015 命題論理の推論技術を用いた高性能かつ柔軟な制約プログラミングシステムの実現

2014 - 「サイバーセキュリティ問題の多目的最適化によるモデル化と解法」 (共同提案者)

2008 - 2012 「制約最適化問題のSAT変換による解法とその並列分散処理に関する研究」 (No.20240003; 研究分担者)

2008 - 2012 「推論による仮説発見とシステム生物学への応用」 (No.20240016; 研究代表者)

2011 - 「グローバル調節ネットワークにおける因果関係と推論を用いた知識発見」 (共同提案者)

2010 - 「代謝ネットワークにおける因果関係と推論を用いた知識発見のための新規プラットホーム構築に関する基礎的研究」 (共同提案者)

2007 - 2009 「システム生物学における仮説発見に関する研究」

2005 - 2007 「仮説発見システムの高度化と効率的実現に関する研究」 (No.17300051; 研究代表者)

2002 - 2004 「結論発見プログラムに基づく知識発見に関する研究」

全件表示

Tony Ribeiro, Maxime Folschette, Morgan Magnin, Kotaro Okazaki, Lo Kuo-Yen, Katsumi Inoue. Diagnosis of Event Sequences with LFIT. In: Stephen Muggleton, Alireza Tamaddoni-Nezhad (eds.), Inductive Logic Programming: Proceeding of the 31st International Conference (ILP 2022; Windsor Great Park, UK, September 28-30, 2022), Lecture Notes in Artificial Intelligence, Springer. 2022. to appear
Akihiro Takemura, Katsumi Inoue. Gradient-Based Supported Model Computation in Vector Spaces. In: Daniela Inclezan, Marco Maratea (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer. 2022. to appear
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue. DPS: A Framework for Deterministic Parallel SAT Solvers. The 12th International Workshop on Pragmatics of SAT (PoS 2022), EasyChair Preprint. 2022. 8553
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. Learning First-Order Rules with Differentiable Logic Program Semantics. In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22; Vienna, Austria, 23-29 July 2022). 2022. 3008-3014
Mitsuhiro Odaka, Magnin Morgan, Katsumi Inoue. A Data-Driven and Knowledge-Based Approach to Inferring Temporal Gene Networks for COVID-19. International Conference on Critical Assessment of Massive Data Analysis 2022 (CAMDA 2022). 2022

Camilo Sarmiento, Gauvain Bourgne, Daniele Cavalli, Katsumi Inoue, Jean-Gabriel Ganascia. Action Languages Based Actual Causality in Ethical Decision Making Contexts. CoRR abs/2205.02919. 2022. 19p.
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. Learning First-Order Rules with Differentiable Logic Program Semantics. CoRR abs/2204.13570. 2022. 14p.
Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue. Gene Network Inference from Single-Cell Omics Data and Domain Knowledge for Constructing COVID-19-Specific ICAM1-Associated Pathways. Research Square. 2022
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

Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition
Springer 2022
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

GNN-MatSat: グラフニューラルネットワークによる初期化に基づく微分可能なSATソルバー
(2022年度人工知能学会全国大会(第36回),4F3-OS-8b-03 2022)
放射線下での細胞挙動予測に対する機械学習手法の精度比較
(第11回日本医療情報学会・医用人工知能研究会&人工知能学会・医用人工知能研究会(SIG-AIMED) 合同研究会 SIG-AIMED-011-09 2021)
Learning any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs
(The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021)
Learning from Interpretation Transition Using Differentiable Logic Programming Semantics
(The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) / The 1st International Joint Conference on Learning & Reasoning (IJCLR 2021) 2021)
Learning (from any) Semantics of a Biological Regulatory Network
(Journées Bioss-IA (4ème édition), Groupe de travail sur la biologie systémique symbolique, France (virtual) 2020)

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

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

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

全件表示

2022/01 - 現在 The 31st International Conference on Inductive Logic Programming (ILP 2022) Member of Program Committee
2022/01 - 現在 The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) Member of Program Committee
2021/11 - 現在 The 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Member of Program Committee
2021/09 - 現在 The 38th International Conference on Logic Programming (ICLP 2022) Member of Program Committee
2021/07 - 現在 The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22) Member of Program Committee

2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee

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

2021/03 - 2022/03 International Journal of Intelligent Systems Design and Computing Guest Editor, Special Issue on “Knowledge Engineering and Technologies of Intelligent Systems”

2021/02 - 2021/11 The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) Member of Program Committee

2020/01 - 2021/10 The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee

2021/05 - 2021/09 The 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021) Member of Program Committee

2021/02 - 2021/09 The 37th International Conference on Logic Programming (ICLP 2021) Member of Program Committee

2020/08 - 2021/08 The 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Member of Senior Program Committee

2017/04 - 2021/03 (一社)人工知能学会代議員

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

2020/05 - 2020/12 The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020) Member of Program Committee

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

全件表示

2022/08 - SAT Competition 2022 2nd Place at Main Parallel Track & 3rd Place at Anniversary Parallel Track NPS & DPS
2021/10 - The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) The Best Paper Award Learning any Memory-Less Discrete Semantics for Dynamical;Systems Represented;by Logic Programs
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 , 情報処理学会 , 人工知能学会

井上 克巳