Rchr
J-GLOBAL ID:200901024982789570   Update date: Apr. 01, 2021

Inoue Katsumi

イノウエ カツミ | Inoue Katsumi
Affiliation and department:
Job title: Professor
Other affiliations (2):
Homepage URL  (1): http://research.nii.ac.jp/il/
Research field  (4): Computational science ,  Biological, health, and medical informatics ,  Mathematical informatics ,  Intelligent informatics
Research keywords  (15): SAT ,  Boolean Networks ,  Artificial Intelligence ,  Answer Set Programming ,  Resilience ,  Knowledge Representation ,  Machine Learning ,  Multi-Agent Systems ,  Knowledge Discovery ,  Inductive Logic Programming ,  Logic Programming ,  Consequence Finding ,  Abduction ,  Reasoning ,  Systems Biology
Research theme for competitive and other funds  (17):
  • 2018 - 2022 Advanced Inference Techniques for Huge Knowledge Graphs in Tensor Spaces
  • 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
Show all
Papers (426):
  • Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean Marie Lagniez. Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience. The 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021). 2021. to appear
  • Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux. Les enjeux de l’inférence de modèles dynamiques des systèmes biologiques à partir de séries temporelles. In: Elisabeth Remy, Cédric Lhoussaine (eds.), Approches Symboliques de la Modélisation et de l’Analyse des Systèmes Biologiques. 2021. (to appear)
  • Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis. On the Computation of Probabilistic Coalition Structures. Autonomous Agents and Multi-Agent Systems. 2021. 35. Article 14
  • Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue. An Efficient Reasoning Method on Logic Programming Using Partial Evaluation in Vector Spaces. Journal of Logic and Computation. 2021. exab010
  • Mitsuhiro Odaka, Katsumi Inoue. Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication. In: Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020). 2020. 75-82
more...
MISC (103):
  • Hidetomo Nabeshima, Katsumi Inoue. ManyGlucose 4.1-60. Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki. 2020. B-2020-1. 58
  • Katsumi Inoue, Chiaki Sakama, Taisuke Sato. Reasoning and Programming in Artificial Intelligence (in Japanese). Journal of the Japanese Society for Artificial Intelligence. 2019. 34. 5. 703-713
  • Ali A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jérôme Waldispüh. Computational Intractability Law Molds the Topology of Biological Networks. bioRxiv. 2019. 510495
  • Tobias Kaminski, Thomas Eiter, Katsumi Inoue. Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. CoRR. 2018. abs/1805.00068
  • Katsumi Inoue. Learning Programs from Observations. In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports. 2018. 7. 9
more...
Books (18):
  • 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
  • Model of Double-Strand Break of DNA in Logic-Based Hypothesis Finding
    Imperial College Press 2014
more...
Lectures and oral presentations  (158):
  • Learning (from any) Semantics of a Biological Regulatory Network
    (Journées Bioss-IA (4ème édition), Groupe de travail sur la biologie systémique symbolique, France (virtual) 2020)
  • Symbolic Reasoning and Science (in Japanese)
    (JST-CRDS Panoramic Seminar Series on Machine Learning and Science 2020)
  • Rule Extraction from Decision Tree Ensembles by Answer Set Programming (in Japanese)
    (The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 3E5-GS-2-03 2020)
  • Learning Explainable Logical Rules through Graph Embedding (in Japanese)
    (The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 3E1-GS-2-02 2020)
  • Inferring Player’s Strategy to Design Adaptive Agents in RTS Game
    (The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020), 2G6-ES-3-02 2020)
more...
Education (3):
  • - 1993 Kyoto University PhD Degree (Engineering)
  • 1982 - 1984 Kyoto University Department of Applied Mathematics and Physics
  • 1978 - 1982 Kyoto University Department of Applied Mathematics and Physics
Professional career (1):
  • Doctor of Engineering (Kyoto University)
Work history (11):
  • 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
Committee career (109):
  • 2021/02 - 現在 The 37th International Conference on Logic Programming (ICLP 2020) Member of Program Committee
  • 2021/02 - 現在 The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) Member of Program Committee
  • 2020/08 - 現在 The 30th International Joint Conference on Artificial Intelligence (IJCAI-21) Member of Senior Program Committee
  • 2020/05 - 現在 The 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020) Member of Program Committee
  • 2020/01 - 現在 The 30th International Conference on Inductive Logic Programming (ILP 2020-2021) Member of Program Committee
Show all
Awards (23):
  • 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"
Show all
Association Membership(s) (4):
JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY ,  AAAI ,  INFORMATION PROCESSING SOCIETY OF JAPAN ,  THE JAPANESE SOCIETY FOR ARTIFICIAL INTELLIGENCE
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page