Inoue Katsumi | Researcher Information

The Graduate University for Advanced Studies School of Multidisciplinary Sciences Department of Informatics Professor
Tokyo Institute of Technology School of Computing Visiting Professor

2022 - 2028 Machine Learning That Connects to Symbolic Reasoning
2022 - 2025 Artificial Intelligence for Uncovering Network Dynamics of SARS-CoV-2 Multiscale Infection Systems
2021 - 2025 Robust AI by Integration of Knowledge Representation and Machine Learning
2022 - 2024 Industrial Applications of Machine Learning and Symbolic Reasoning
2018 - 2023 Advanced Inference Techniques for Huge Knowledge Graphs in Tensor Spaces

2021 - 2022 Multi-Scale Modeling of Network Dynamics in SARS-COV-2 Infection

2017 - 2022 Learning Relational Dynamics from State Transition

2014 - 2022 Research on Intention Recognition under Dynamic Environments

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

2017 - 2021 Research on Robust Team Formation in Dynamic Environments

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

2014 - 2017 Modeling and Inference of Resilient Systems

2014 - 2016 Learning Cellular Automata Represented as Logic Programs

2012 - 2015 Realization of High-Performance and Flexible Constraint Programming Systems Using Propositional Inference Techniques (No.24300007)

2014 - "Modeling and Solutions of the Cyber Security Problem based on Multi-Objective Distributed Constraint Optimization" (co-Investigator)

2008 - 2012 "Research on Efficient and Practical SAT-Based Techniques for Constraint Optimization Problems" (No.20240003; co-Investigator)

2008 - 2012 "Inference-Based Hypothesis-Finding and its Application to Systems Biology" (No.20240016; Principal Investigator)

2011 - "Knowledge Discovery on Global Regulation Networks Based on Inference with Causal Relations" (co-Investigator)

2010 - "Construction of a New Platform for Knowledge Discovery Based on Inference with Causal Relations in Metabolic Pathways" (co-Investigator)

2007 - 2009 "Knowledge-Based Discovery in Systems Biology" (co-Principal Investigator)

2005 - 2007 "Research on Advanced Systems of Efficient Hypothesis Finding" (No.17300051; Principal Investigator)

2002 - 2004 "Research on Knowledge Discovery Based on Consequence Finding" (No.14380164; Principal Investigator)

Show all

Mitsuhiro Odaka, Morgan Magnin, Katsumi Inoue. Data-Driven and Knowledge-Based Causal Network Discovery for Identifying Differential Equations. In: AAAI Spring Symposium on Computational Approaches to Scientific Discovery. 2023. 2p.
Nicolas Schwind, Katsumi Inoue, Pierre Marquis. Editing Boolean Classifiers: A Belief Change Perspective. In: Proceedings of 37th AAAI Conference on Artificial Intelligence (AAAI-23; Washington, D.C., USA, February 7-14, 2023). 2023. to appear. 9p.
Tuan Nguyen Quoc, Katsumi Inoue. On Converting Logic Programs into Matrices. In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2023; Lisbon, Portugal, 22-24, February 2023). 2023. 2. 405-415
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama. Linear Algebraic Abduction with Partial Evaluation. In: Hanus, M., Inclezan, D. (eds), Practical Aspects of Declarative Languages: Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16-17, 2023), Lecture Notes in Computer Science. 2023. 13880. 197-215
Camilo Sarmiento, Gauvain Bourgne, Katsumi Inoue, Jean-Gabriel Ganascia. Action Languages Based Actual Causality in Decision Making Contexts. In: Aydoğan, R., Criado, N., Lang, J., Sanchez-Anguix, V., Serramia, M. (eds), Principles and Practice of Multi-Agent Systems, Proceedings of the 24th International Conference (PRIMA 2022; Valencia, Spain, November 16-18, 2022), Lecture Notes in Artificial Intelligence. 2023. 13753. 243-259

ｍore...

Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu, Katsumi Inoue. DPS-Kissat. In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2022. B-2022-1. 43
Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean-Marie Lagniez. SAT Benchmarks for the Robust Team Formation Problem. In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2022. B-2022-1. 74-77
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. 17p.

ｍore...

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
Systems’ Resilience: Resilience from Various Disturbances (in Japanese)
Kindai Kagakusha 2016 ISBN:9784764905085

ｍore...

Learning Differential Equations of Dynamical Systems Based on Discovery of Causal Networks from Multivariate Time Series (in Japanese)
(The 37th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 20223) 2023)
Solving Hamiltonian Cycle Reconfiguration Problems with Answer Set Programming (in Japanese)
(The 25th JSSST Workshop on Programming and Programming Languages (PPL 2023) 2023)
Action Languages Based Actual Causality in Decision Making Contexts
(International Workshop on AI Compliance Mechanism (WAICOM 2022) 2022)
GNN-MatSat: A Differentiable SAT Solver Based on Initialization by Graph Neural Networks
(The 36th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2022), 4F3-OS-8b-03 2022)
Comparing the Accuracy of Machine Learning Methods Towards Predicting Cell Behavior Under Radiation (in Japanese)
(Artificial Intelligence in Medicine, Japan Association for Medical Informatics (JAMI) & The Japanese Society for Artificial Intelligence (JSAI), SIG-AIMED-011-09 2021)

ｍ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)

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

Show all

2022/11 - 現在 The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023) Area Chair
2022/11 - 現在 The 39th International Conference on Logic Programming (ICLP 2023) Member of Program Committee
2017/09 - 現在 Atlanstic 2020, France Member of Scientific Committee
2010/10 - 現在 NII Shonan Meetings Member of Academic 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

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 - 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

Show all

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

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

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

2009/06 - Japanese Society for Artificial Intelligence Annual Conference Award 2009

2006 - SCIS & ISIS 2006 Session Best Presentation Award

2000 - Japanese Society for Artificial Intelligence SIG Research Award 1999

1988 - 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 , AAAI , INFORMATION PROCESSING SOCIETY OF JAPAN , THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE