井上克巳

総合研究大学院大学先端学術院情報学コース教授
東京工業大学情報理工学院特定教授

2022 - 2028 記号推論に接続する機械学習
2021 - 2025 知識表現・推論と機械学習の統合によるロバストAIの実現
2022 - 2025 人工知能技術によるSARS-CoV-2マルチスケール感染系のネットワークダイナミクス解明
2022 - 2024 産業分野への機械学習と記号推論の融合技術の応用検討
2021 - 2022 新型コロナウイルスSARS-CoV-2感染系におけるネットワークダイナミクスのマルチスケールモデリング

全件表示

Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang. A differentiable first-order rule learner for inductive logic programming. Artificial Intelligence. 2024. 331. 104108. 27p.
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis. BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. In: Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI-24; Vancouver, Canada, February 20-27, 2024). 2024. 38. 9. 10696-10704
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. 2024. 13779. 117-126
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub, Ryuhei Uehara. Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis. WALCOM: Algorithms and Computation, Proceedings of the 17th International Conference and Workshops (WALCOM 2024; Kanazawa, Japan, March 18-20, 2024), Lecture Notes in Computer Science. 2024. 14549. 242-256
Sota Moriyama, Koji Watanabe, Katsumi Inoue. GNN Based Extraction of Minimal Unsatisfiable Subsets. In: Elena Bellodi, Francesca Alessandra Lisi, Riccardo Zese (eds.), Inductive Logic Programming: Proceeding of the 32nd International Conference (ILP 2023; Bari, Italy, November 13-15, 2023), Lecture Notes in Artificial Intelligence. 2023. 14363. 77-92

Sota Moriyama, Koji Watanabe, Katsumi Inoue, Akihiro Takemura. MOD-CL: Multi-label Object Detection with Constrained Loss. CoRR. 2024. abs/2403.07885. 4p.
Michael Igorevich Ivanitskiy, Alex F. Spies, Tilman Räuker, Guillaume Corlouer, Chris Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia Diniz Behn, et al. Structured World Representations in Maze-Solving Transformers. CoRR. 2023. abs/2312.02566. 15p.
Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Katsumi Inoue. DPS-Kissat. In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2023. B-2023-1. 41
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub. Bounded Combinatorial Reconfiguration with Answer Set Programming. CoRR. 2023. abs/2307.10688. 15p.
Taisuke Sato, Akihiro Takemura, Katsumi Inoue. Towards end-to-end ASP computation. CoRR. 2023. abs/2306.06821. 29p.

The Challenges of Inferring Dynamic Models from Time Series, in: Cédric Lhoussaine, Élisabeth Remy (eds.), Symbolic Approaches to Modeling and Analysis of Biological Systems
ISTE, Wiley 2023 ISBN:9781789450293
Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition
Springer 2023
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

Algebraic Connection between Logic Programming and Machine Learning (Keynote)
(The 17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024)
heulingo: 組合せ最適化のための解集合プログラミングに基づく優先度付き巨大近傍探索の実装
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Differentiable learning of matricized DNFs and its application to Boolean networks
(The 32nd International Conference on Inductive Logic Programming (ILP 2023) / The 3rd International Joint Conference on Learning & Reasoning (IJCLR 2023) 2023)
Learning any memory-less discrete semantics for dynamical systems represented by logic programs
(The 21st International Conference on Computational Methods in Systems Biology (CMSB 2023; Luxembourg, September 13-15, 2023) 2023)
生成AIと記号推論
(第125回人工知能基本問題研究会, 人工知能学会研究会資料, SIG-FPAI-125-01, pp.1-2 2023)

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

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

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

全件表示

2021/07 - 現在 International Joint Conference on Artificial Intelligence (IJCAI) Program Committee Board
2010/10 - 現在 NII 湘南会議学術委員
2023/05 - 2023/11 The 32nd International Conference on Inductive Logic Programming (ILP 2023) Member of Program Committee
2023/05 - 2023/10 The 26th European Conference on Artificial Intelligence (ECAI 2023) Member of Program Committee
2022/11 - 2023/09 The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) Area Chair

2022/11 - 2023/07 The 39th International Conference on Logic Programming (ICLP 2023) Member of Program Committee

2017/09 - 2022/12 Atlanstic 2020, France Member of Scientific Committee

2022/01 - 2022/09 The 31st International Conference on Inductive Logic Programming (ILP 2022) Member of Program Committee

2022/01 - 2022/09 The 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022) Member of Program Committee

2022/07 - 2022/08 Universidad Politécnica de Madrid International External Reviewer

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

2021/09 - 2022/07 The 38th International Conference on Logic Programming (ICLP 2022) Member of Program Committee

2021/07 - 2022/07 The 31st International Joint Conference on Artificial Intelligence (IJCAI-ECAI-22) Member of Program Committee

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/05 - 2015/10 The 1st Global Conference on Artificial Intelligence (GCAI 2015) Member of Program Committee

2014/12 - 2015/09 The 2nd International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2015) Member of Program Committee

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

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

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

2011/10 - 2015/01 Computational Logic in Multi-Agent Systems (CLIMA) Member of Steering Committee

2014/05 - 2014/11 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/01 - 2014/09 The 24th International Conference on Inductive Logic Programming (ILP 2014) Member of Program Committee

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

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

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

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

2013/10 - 2014/07 The 28th AAAI Conference on Artificial Intelligence (AAAI-14) Member of Program Committee

2013/09 - 2014/07 The 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) Member of Program Committee

2013/05 - 2013/11 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/05 - 2013/09 The 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) Member of Program Committee

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

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

2012/07 - 2013/09 The 1st International Workshop on Learning and Nonmonotonic Reasoning (LNMR 2013) Workshop co-Chair

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

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

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

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

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

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

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

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

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

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

2010/12 - 2011/11 International Symposium on Symbolic Systems Biology (ISSSB 2011), NII Shonan Meeting, No.010 Symposium co-Organizer

2011/05 - 2011/09 The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) Member of Program Committee

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

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

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

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

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

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

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

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

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

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

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

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

2009/01 - 2009/09 The 3rd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer

2008/09 - 2009/08 The 22nd International Conference on Automated Deduction (CADE-22) Member of Program Committee

2009/01 - 2009/07 The 19th International Conference on Inductive Logic Programming (ILP 2009) Member of Program Committee

2008/11 - 2009/07 IJCAI-09 Workshop on Abductive and Inductive Knowledge Development Member of Program Committee

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

2009/01 - 2009/06 The 6th Workshop on Learning with Logics and Logics for Learning (LLLL 2009) Member of Program Committee

2008/06 - 2009/06 The 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009) Member of Program Committee

2008/12 - 2009/05 The 2009 IEEE International Workshop on Bioinformatics and Life Science Modeling and Computing (BLSMC 2009) General co-Chair

2008/01 - 2008/10 The 2nd Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer

2007/12 - 2008/10 The 19th Brazilian Symposium on Artificial Intelligence (SBIA 2008) Member of Technical Program Committee

2008/03 - 2008/09 The 9th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IX) Member of Program Committee

2008/01 - 2008/09 The 18th International Conference on Inductive Logic Programming (ILP 2008) Member of Program Committee

2008/02 - 2008/07 The Preferences Track at The 12th International Workshop on Non-Monotonic Reasoning (NMR 2008) Member of Program Committee

2007/01 - 2007/12 eBritain Science & Innovation Magazine Associate Editor

2007/04 - 2007/09 The International Symposium on Skill Science 2007 (ISSS 2007) Member of Program Committee

2007/02 - 2007/09 The 2007 International Workshop on Abduction and Induction in Artificial Intelligence and Bioinformatics (AIAI 2007) Member of Organizing and Program Committees

2007/01 - 2007/09 人工知能学会論文誌「スキルサイエンス」特集号編集委員

2007/01 - 2007/09 The 1st Franco-Japanese Symposium on Knowledge Discovery in Systems Biology Symposium co-Organizer

2006/12 - 2007/09 The 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) Member of Program Committee

2006/10 - 2007/09 The 23rd International Conference on Logic Programming (ICLP 2007) Member of Program Committee

2006/12 - 2007/06 The 5th Workshop on Learning with Logics and Logics for Learning (LLLL 2007) Member of Program Committee

2005/01 - 2007/06 The 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VII) Workshop co-Chair

2006/11 - 2007/05 LPNMR’07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007) Member of Program Committee

2006/05 - 2007/05 The 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007) Member of Program Committee

2006/01 - 2006/12 The 16th International Conference on Inductive Logic Programming (ILP 2006) Member of Program Committee

2005/12 - 2006/08 ECAI ’06 Workshop on Abduction and Induction in AI and Scientific Modelling (AIAI 2006) Member of Program Committee

2006/01 - 2006/06 The 4th Workshop on Learning with Logics and Logics for Learning (LLLL 2006) Member of Program Committee

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

2004/11 - 2005/09 The 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) Member of Program Committee

2004/12 - 2005/08 The 15th International Conference on Inductive Logic Programming (ILP 2005) Member of Program Committee

2005/01 - 2005/06 The 3rd Workshop on Learning with Logics and Logics for Learning (LLLL 2005) Member of Program Committee

2004/11 - 2005/06 The 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VI) Member of Program Committee

2004/07 - 2005/06 2005年度人工知能学会全国大会(第19 回) プログラム委員

2003/04 - 2005/03 (社)人工知能学会評議員

2000/03 - 2004/12 AI Communications (AICOM), IOS Press Member of Editorial Board

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

2003/06 - 2004/09 The 5th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-V) Member of Program Committee

2003/06 - 2004/05 2004年度人工知能学会全国大会(第18回) プログラム委員

2003/09 - 2004/01 The 4th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IV) Program Committee Member

2002/11 - 2003/09 The 13th International Conf. on Inductive Logic Programming (ILP 2003) Program Committee Member

2002/07 - 2003/07 The 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003) Program Committee Member

2001/11 - 2002/09 The 8th European Conference on Logics in Artificial Intelligence (JELIA ’02) Program Committee Member

2002/02 - 2002/08 ICLP’02 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02) Program Committee Member

2001/07 - 2002/08 The 18th International Conference on Logic Programming (ICLP 2002) Program Committee Member

2001/10 - 2002/04 Special Session on Answer Set Programming and Abductive Reasoning, The 9th International Workshop on Non-Monotonic Reasoning (NMR 2002) Program Committee Member

2000/02 - 2002/03 IEEE 関西支部 Awards Committee

1992/04 - 2002/03 (社)人工知能学会基礎論研究会連絡委員

2001/05 - 2001/12 ICLP’01 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-01) Program Committee Member

2000/07 - 2001/09 The 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001) Program Committee Member

2000/03 - 2001/09 The 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’01) Program Committee Member

2001/05 - 2001/08 IJCAI-2001 Workshop on Abductive Reasoning Program Committee Member

2000/02 - 2000/07 CL2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA ’00) Program Committee Member

1999/05 - 2000/07 The 1st International Conference on Computational Logic (CL 2000) Program Committee Member

1999/10 - 2000/04 The 8th International Workshop on Non-Monotonic Reasoning (NMR 2000) Program Committee Member

1997/06 - 1999/04 (社)情報処理学会論文査読委員

1995/04 - 1999/03 (社)情報処理学会知識と複雑系研究会連絡委員

1998/01 - 1998/08 ECAI-98 Workshop on Abduction and Induction in AI Program Committee Member

1996/11 - 1997/08 IJCAI-97 Workshop on Abduction and Induction in AI Program Committee Member

1996/04 - 1997/07 The 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’97) Program Committee Member

1996/10 - 1997/03 (財) 日本情報処理開発協会 (JIPDEC), 先端情報技術研究所 (AITEC) 法的推論ワーキンググループ委員

1996/04 - 1996/09 New Generation Computing Journal 誌面刷新委員会

1995/01 - 1995/06 The 3rd ICLP-Workshop on Deductive Databases and Logic Programming Program Committee Member

1993/04 - 1995/03 (財) 新世代コンピュータ技術開発機構 (ICOT) 並列定理証明タスクグループ委員

1994/04 - 1994/12 FGCS’94 Workshop on Automated Theorem Proving Program Committee Member

1992/01 - 1992/11 The 3rd IEEE International Conference on Tools for Artificial Intelligence (ICTAI ’91) Program Committee Member

1992/01 - 1992/08 ECAI-92 Workshop on Applications of Reason Maintenance Systems Program Committee Member

1991/01 - 1991/10 International Workshop on Applications of Reason Maintenance Systems (Maastricht, The Netherlands, October 24-25, 1991) Program Committee Member

全件表示

2023/12 - ROAD-R Challenge for NeurIPS 2023 1st Prize at Task 2 and 3rd Prize at Task 1 "MOD-CL: Multi-label Object Detection with Constraint Loss"
2023/07 - Association for Logic Programming The 10-year test-of-time award "Answer set programming as a modeling language for course timetabling"
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回大会高橋奨励賞 "GlueMiniSat2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー"

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

2011/01 - BIOINFORMATICS 2011 Best Student Paper Award "Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology"

2010/06 - The 20th International Conference on Inductive Logic Programming (ILP2010) Best Student Paper Award "From Inverse Entailment to Inverse Subsumption"

2009/06 - (社) 人工知能学会 2009年度全国大会優秀賞 "SAT問題への変換を用いたフィードバックを含むパスウェイの解析"

2006/09 - SCIS & ISIS 2006 Session Best Presentation Award "Improvement of Yager's Triple Π Operator"

2000/06 - (社) 人工知能学会 1999年度研究奨励賞 "新仮説の発見を含むアブダクティブ論理プログラムの学習"

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

全件表示

日本ソフトウェア科学会 , American Association for Artificial Intelligence (AAAI) , 人工知能学会 , 情報処理学会 , Institute of Electrical and Electronics Engineers (IEEE)

井上 克巳