Inoue Katsumi | Researcher Information

The Graduate University for Advanced Studies Informatics Program, Graduate Institute for Advanced Studies Professor
Tokyo Institute of Technology School of Computing Visiting Professor

2022 - 2028 Machine Learning That Connects to Symbolic Reasoning
2021 - 2025 Robust AI by Integration of Knowledge Representation and Machine Learning
2022 - 2025 Artificial Intelligence for Uncovering Network Dynamics of SARS-CoV-2 Multiscale Infection Systems
2022 - 2024 Industrial Applications of Machine Learning and Symbolic Reasoning
2021 - 2022 Multi-Scale Modeling of Network Dynamics in SARS-COV-2 Infection

2018 - 2022 Development of advanced inference technologies for huge knowledge graphs in tensor spaces

2014 - 2022 Research on Intention Recognition under Dynamic Environments

2020 - 2021 Multi-Scale Quantitative Analysis of SARS-CoV-2 Infection Dynamics

2017 - 2021 Dynamic Robust Team Formation

2017 - 2021 Learning Relational Dynamics from State Transition

2016 - 2019 Research and Development of a New Constraint Programming System based on SAT

2015 - 2018 Research and Development on Constraint Answer Set Programming Using SAT Encoding

2014 - 2017 Modeling and Inference of Resilient Systems

2014 - 2017 Algorithm for Dynamic Multi-Objective Distributed Constraint Optimization

2014 - 2016 Learning Cellular Automata Represented as Logic Programs

2012 - 2015 Supporting Skill Development by Rule Abduction and Analogy

2012 - 2015 Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques

2013 - 2014 Modeling and Solutions of the Cyber Security Problem based on Multi-Objective Distributed Constraint Optimization

2011 - 2012 Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations

2008 - 2012 Inference Mechanism of Social Intelligence in Multiagent Systems

2008 - 2012 Study of SAT-based constraint optimization problem solving and its parallel distributed processing

2008 - 2012 Inference-based Hypothesis-finding and its Application to Systems Biology

2010 - 2011 Construction of a New Platform for Knowledge Discovery Based on Inference with Causal Relations in Metabolic Pathways

2006 - 2010 Knowledge-Based Discovery in Systems Biology

2005 - 2008 Research on Advanced Systems of Efficient Hypothesis Finding

2002 - 2005 Research on Knowledge Discovery based on Consequence Finding

2003 - 2004 Development of Distributed Cooperative Constraint Satisfaction Systems in Java

2002 - 2004 Development of advanced reasoning systems by extending theorem provers

2001 - 2004 Construction of multi-agent systems with speculative computation

2002 - 2003 Development of Heterogeneous Cooperative Constraint Satisfaction Systems in Java

2000 - 2002 Research on an Integrated System for Fast SAT Planning

1999 - 2001 Construction of Logical Multi-Agent System under Incomplete Information Environment

1999 - 2000 Knowledge Discovery by Integration of Abduction and Induction

1998 - 2000 A Study of Design and Implementation of Interactive Algorithm

1998 - 2000 Research on Inductive Logic Programming to Learn Rules with Exceptions

1997 - 1999 Advanced Argumentation System Based on Theorem Proving Technologies

1997 - 1998 Incorporating Linear-Space Best-First Search in MGTP

1996 - 1998 Constructive Design and Evauation of Genetic Algorithm for Scheduling Problem of Robot Control Computation

1995 - 1997 Development of Abductive Logic Programming Systems

1995 - 1997 A General Study On Intelligent Reasoning Principles and Programming Languages For Artificial Intelligence.

1994 - 1997 A study on multi-modal man-machine interface through spontaneous speech

1995 - 1996 Research on Abductive Knowledge Bases

1995 - 1996 Theories on logic programs in which negation appears in heads

1994 - 1995 Research Grants for Artificial Intelligence Research

1994 - 1995 Research on theorem proving techniques for advanced problem solving

1993 - 1995 Research Grants for Inoue Laboratory

1993 - 1994 A Study on Ambiguous Utterance Understanding for Speech Input

Show all

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

ｍore...

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.

ｍore...

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

ｍore...

Algebraic Connection between Logic Programming and Machine Learning (Keynote)
(The 17th International Symposium on Functional and Logic Programming (FLOPS 2024) 2024)
heulingo: An ASP-Based Implementation of Large Neighborhood Prioritized Search for Combinatorial Optimization
(The 26th JSSST Workshop on Programming and Programming Languages (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)
Generative AI and Symbolic Reasoning
(SIG-FPAI-125-01, pp.1-2, The Japanese Society for Artificial Intelligence 2023)

ｍore...

- 1993 Kyoto University Department of Applied Mathematics and Physics PhD Degree (Engineering)
1982 - 1984 Kyoto University Graduate School, Division of Engineering Department of Applied Mathematics and Physics
1978 - 1982 Kyoto University Faculty of Engineering Department of Applied Mathematics and Physics

Doctor of Engineering (Kyoto University)

2023/04 - 現在 The Graduate University for Advanced Studies, SOKENDAI Informatics Program, Graduate Institute for Advanced Studies Professor
2021/04 - 現在 Tokyo Institute of Technology School of Computing Visiting Professor
2020/03 - 現在 École Centrale de Nantes Visiting Professor
2004/03 - 現在 National Institute of Informatics Professor
2005/04 - 2023/03 The Graduate University for Advanced Studies, SOKENDAI Department of Informatics, School of Multidisciplinary Sciences Professor

Show all

2021/07 - 現在 International Joint Conference on Artificial Intelligence (IJCAI) Program Committee Board
2010/10 - 現在 NII Shonan Meetings Member of Academic Committee
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 The Japanese Society for Artificial Intelligence Delegate

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 Shonan Meeting 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 The Japanese Society for Artificial Intelligence Director

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 Special Issue on Skill Science, The Japanese Society for Artificial Intelligence Editorial Committee Member

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 The Japanese Society for Artificial Intelligence Editorial Committee Member

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 THe 19th Annual Conference of JSAI, The Japanese Society for Artificial Intelligence Programming Committee Member

2003/04 - 2005/03 The Japanese Society for Artificial Intelligence Councilor

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 The 18th Annual Conference of JSAI, The Japanese Society for Artificial Intelligence Progamming Committee Member

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 Kansai Section Awards Committee

1992/04 - 2002/03 The Japanese Society for Artificial Intelligence Technical Committee of SIG-FAI

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 Information Processing Society of Japan Reviewing Committee Member

1995/04 - 1999/03 Information Processing Society of Japan Technical Committee of SIG-ICS

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 Advanced Information Technology (AITEC), Japan Information Processing and Development Center (JIPDEC) Legal Reasoning Working Group, Member

1996/04 - 1996/09 New Generation Computing Journal Editorial Committee Member

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

1993/04 - 1995/03 Institute for New Generation Computer Technology Parallel Theorem Proving Task Group, Member

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

Show all

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 - Information Processing Society of Japan Specially Selected Paper of Journal of Information Processing "Proposal of SAT-Based Method to Detect Deadlock of Petri Nets" (in Japanese)

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 - Japan Society for Software Science and Technology The 20th Research Paper Award "Constraint Modeling and SAT Encoding of the Packing Array Problem"

2016/06 - Japanese Society for Artificial Intelligence JSAI Annual Conference Award 2015 "Applying Constraint Answer Set Programming to Combinatorial Test Case Generation Problems"

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 - Joint Agent Workshop and Symposium 2014 (JAWS 2014) Excellent Paper Award "Robust Team Formation Problem" (in Japanese)

2014/09 - Japan Society for Software Science and Technology The software Paper Award of JSSST "GlueMiniSat 2.2.5: A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses"

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 - Joint Agent Workshop and Symposium 2013 (JAWS 2013) Excellent Paper Award "A Two-Phase Complete Algorithm for Multiobjective Distributed Constraint Optimization"

2013/07 - SAT Competition 2013 Silver Prize (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 - Joint Agent Workshop and Symposium 2012 (JAWS 2012) IEEE Computer Society Japan Chapter JAWS Young Researcher Award "多目的分散制約最適化問題における厳密/非厳密解法の提案"

2011/09 - The 28th Conference of Japan Society for Software Science and Technology Takahashi Award "GlueMiniSat2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー"

2011/06 - SAT 2011 Competition Gold Prize (Application UNSAT), Silver Prizes (Application 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 - Japanese Society for Artificial Intelligence Annual Conference Award 2009 "SAT問題への変換を用いたフィードバックを含むパスウェイの解析"

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

2000/06 - Japanese Society for Artificial Intelligence SIG Research Award 1999 "Learning Abductive Logic Programs with Abducible Invention (in Japanese)"

1988/03 - Information Processing Society of Japan IPSJ Convention Award "Resolution Search Strategies for Assumption-based Reasoning (in Japanese)"

Show all

Japan Society for Software Science and Technology , American Association for Artificial Intelligence (AAAI) , The Japanese Society for Artificial Intelligence , Information Processing Society of Japan , Institute of Electrical and Electronics Engineers (IEEE)