Rchr
J-GLOBAL ID:200901024982789570   Update date: Jan. 27, 2025

Inoue Katsumi

イノウエ カツミ | Inoue Katsumi
Affiliation and department:
Job title: Professor
Other affiliations (3):
Homepage URL  (1): http://research.nii.ac.jp/il/
Research field  (4): Intelligent informatics ,  Mathematical informatics ,  Computational science ,  Biological, health, and medical informatics
Research keywords  (15): Artificial Intelligence ,  Knowledge Representation ,  Reasoning ,  Machine Learning ,  Logic Programming ,  Inductive Logic Programming ,  Answer Set Programming ,  Abduction ,  Consequence Finding ,  Knowledge Discovery ,  SAT ,  Resilience ,  Boolean Networks ,  Systems Biology ,  Multi-Agent Systems
Research theme for competitive and other funds  (47):
  • 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
Show all
Papers (377):
  • Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng. Differentiable Rule Induction from Raw Sequence Inputs. The 13th International Conference on Learning Representations (ICLR 2025; Singapore, April 24-28, 2025). 2025. to appear
  • Hongbo Hu, Yisong Wang, Katsumi Inoue. Learning Possibilistic Dynamic Systems from State Transitions. Fuzzy Sets and Systems. 2025. 504. 109259. 30p.
  • 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. 24. 5. 973-1010
  • 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
more...
MISC (69):
  • 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.
more...
Books (17):
  • 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
more...
Lectures and oral presentations  (255):
  • 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 (TAASP 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
    (Theory of Combinatorial Reconfiguration and Beyond 2024)
  • Algebraic Logic Programming and Learning
    (The 4th International Joint Conference on Learning & Reasoning (IJCLR 2024) 2024)
more...
Education (3):
  • - 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
Professional career (1):
  • Doctor of Engineering (Kyoto University)
Work history (14):
  • 2024/04 - 現在 The University of Electro-Communications Graduate School of Informatics and Engineering Collaborative Professor
  • 2024/04 - 現在 The Kyoto College of Graduate Studies for Informatics Visiting Professor
  • 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
Show all
Committee career (157):
  • 2023/11 - 現在 Council for University Chartering and School Juridical Person, Ministry of Education, Culture, Sports, Science and Technology Informatics Advisory Committee Member
  • 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
Show all
Awards (29):
  • 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"
Show all
Association Membership(s) (5):
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)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page