井上克巳

総合研究大学院大学先端学術院情報学コース教授
東京工業大学情報理工学院特定教授
電気通信大学大学院情報理工学研究科連携教授

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

全件表示

Akihiro Takemura, Katsumi Inoue. Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. Theory and Practice of Logic Programming. 2024. (First View). 38p.
Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara. Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024). 2024. 765-777
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. Abductive reasoning in a paraconsistent framework. Proceedings of the 21st International Conference on Knowledge Representation and Reasoning (KR-2024; Hanoi, Vietnam, November 2-8, 2024). 2024. 134-144
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Partial Evaluation of Logic Programs. In: Nina Gierasimczuk, Jesse Heyninck (eds.), Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024), CEUR Workshop Proceedings. 2024. 3835. 14-23
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Partial Evaluation of Logic Programs. Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2024; Herndon, VA, USA, October 30 - November 1, 2024). 2024. 355-362

Alex F. Spies, William Edwards, Michael I. Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan. Transformers Use Causal World Models in Maze-Solving Tasks. CoRR. 2024. abs/2412.11867. 22p.
Akihiro Takemura, Katsumi Inoue. Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming. CoRR. 2024. abs/2410.11000. 37p.
Akihiro Takemura, Katsumi Inoue. Differentiable Logic Programming for Distant Supervision. CoRR. 2024. abs/2408.12591. 11p.
Yin Jun Phua, Katsumi Inoue. Variable Assignment Invariant Neural Networks for Learning Logic Programs. CoRR. 2024. abs/2408.10709. 17p.
Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko. Abductive Reasoning in a Paraconsistent Framework. CoRR. 2024. abs/2408.07287. 14p.

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

Backtracking Enabled Transformers
(The 9th International Conference on Machine Learning and Soft Computing (ICMLSC 2025) 2025)
A Constraint-Based Visual Dataset Generator
(The 7th Workshop on Trends and Applications of Answer Set Programming (TAAS 2024) 2024)
Linear Algebraic Approaches to Logic Programming
(The 40th International Conference on Logic Programming (ICLP 2024) 2024)
Combinatorial reconfiguration with answer set programming: System recongo and some experimental results
(組合せ遷移の理論とその展開 2024)
Algebraic Logic Programming and Learning
(The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024) 2024)

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

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

2024/04 - 現在電気通信大学大学院情報理工学研究科連携教授
2024/04 - 現在京都情報大学院大学客員教授
2023/04 - 現在総合研究大学院大学先端学術院情報学コース教授
2021/04 - 現在東京工業大学情報理工学院特定教授
2020/03 - 現在 École Centrale de Nantes 客員教授

全件表示

2023/11 - 現在文部科学省大学設置・学校法人審議会大学設置分科会情報専門委員会委員
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

全件表示

2024/10 - The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Best Student Paper Award 2024 "ASP-Based Large Neighborhood Prioritized Search for Course Timetabling"
2024/04 - Technical AI Safety Conference 2024 (TAIS 2024) Best Poster Award "Structured World Representations in Maze-Solving Transformers"
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)

井上 克巳