Inoue, Katsumi

42 publications

JAIR 2026 Abductive Reasoning in Expansions of Belnap-Dunn Logic Meghyn Bienvenu, Katsumi Inoue, Daniil Kozhemiachenko

ICLR 2025 Differentiable Rule Induction from Raw Sequence Inputs Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng

NeurIPS 2025 Graph-Based Attention for Differentiable MaxSAT Solving Sota Moriyama, Katsumi Inoue

IJCAI 2025 Iterated Belief Change as Learning Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

NeurIPS 2025 T-Norm Selection for Object Detection in Autonomous Driving with Logical Constraints Thomas Eiter, Katsumi Inoue, Nelson Higuera Ruiz, Sota Moriyama

ICLRW 2025 Transformers Use Causal World Models in Maze-Solving Tasks Alexander F Spies, William Edwards, Michael Ivanitskiy, Adrians Skapars, Tilman Räuker, Katsumi Inoue, Alessandra Russo, Murray Shanahan

IJCAI 2024 A Differentiable First-Order Rule Learner for Inductive Logic Programming (Abstract Reprint) Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

AAAI 2024 BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

MLJ 2023 Differentiable Learning of Matricized DNFs and Its Application to Boolean Networks Taisuke Sato, Katsumi Inoue

AAAI 2023 Editing Boolean Classifiers: A Belief Change Perspective Nicolas Schwind, Katsumi Inoue, Pierre Marquis

NeurIPSW 2023 Linearly Structured World Representations in Maze-Solving Transformers Michael Ivanitskiy, Alexander F Spies, Tilman Räuker, Guillaume Corlouer, Christopher Mathwin, Lucia Quirke, Can Rager, Rusheb Shah, Dan Valentine, Cecilia Diniz Behn, Katsumi Inoue, Samy Wu Fung

MLJ 2022 Learning Any Memory-Less Discrete Semantics for Dynamical Systems Represented by Logic Programs Tony Ribeiro, Maxime Folschette, Morgan Magnin, Katsumi Inoue

IJCAI 2022 Learning First-Order Rules with Differentiable Logic Program Semantics Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang

MLJ 2022 Learning from Interpretation Transition Using Differentiable Logic Programming Semantics Kun Gao, Hanpin Wang, Yongzhi Cao, Katsumi Inoue

IJCAI 2020 Design Adaptive AI for RTS Game by Learning Player's Build Order Guillaume Lorthioir, Katsumi Inoue

IJCAI 2019 Meta-Interpretive Learning Using HEX-Programs Tobias Kaminski, Thomas Eiter, Katsumi Inoue

IJCAI 2019 What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2018 Abducing Relations in Continuous Spaces Taisuke Sato, Katsumi Inoue, Chiaki Sakama

JMLR 2017 Relational Reinforcement Learning for Planning with Exogenous Effects David Martínez, Guillem Alenyà, Tony Ribeiro, Katsumi Inoue, Carme Torras

MLJ 2017 Special Issue on Inductive Logic Programming Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

AAAI 2016 Inductive Logic Programming: Challenges Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

IJCAI 2016 Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

IJCAI 2016 Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue

AAAI 2015 Belief Revision Games Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

MLJ 2014 Learning from Interpretation Transition Katsumi Inoue, Tony Ribeiro, Chiaki Sakama

MLJ 2013 Completing Causal Networks by Meta-Level Abduction Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima

MLJ 2012 ILP Turns 20 - Biography and Future Challenges Stephen H. Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, Ashwin Srinivasan

MLJ 2012 Inverse Subsumption for Complete Explanatory Induction Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma

MLJ 2011 Constraint-Based Probabilistic Modeling for Statistical Abduction Taisuke Sato, Masakazu Ishihata, Katsumi Inoue

MLJ 2011 Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming Chiaki Sakama, Katsumi Inoue

IJCAI 2011 Logic Programming for Boolean Networks Katsumi Inoue

MLJ 2009 Brave Induction: A Logical Framework for Learning from Incomplete Information Chiaki Sakama, Katsumi Inoue

IJCAI 2009 Evaluating Abductive Hypotheses Using an EM Algorithm on BDDs Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

AAAI 2007 Generality and Equivalence Relations in Default Logic Katsumi Inoue, Chiaki Sakama

IJCAI 2005 Equivalence in Abductive Logic Katsumi Inoue, Chiaki Sakama

MLJ 2004 Induction as Consequence Finding Katsumi Inoue

IJCAI 1999 Abducing Priorities to Derive Intended Conclusions Katsumi Inoue, Chiaki Sakama

IJCAI 1997 Learning Extended Logic Programs Katsumi Inoue, Yoshimitsu Kudoh

IJCAI 1995 Abductive Framework for Nonmonotonic Theory Change Katsumi Inoue, Chiaki Sakama

IJCAI 1993 Bottom-up Abduction by Model Generation Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima

IJCAI 1991 Consequence-Finding Based on Ordered Linear Resolution Katsumi Inoue

IJCAI 1991 Query Answering in Circumscription Nicolas Helft, Katsumi Inoue, David Poole