Inoue Group

Inference and Generalization

NII Logo

Publications (2025)

Conference
Influence Graphs of Phytoplankton Species Interactions using Logical Learning
Madeleine Eyraud, Maxime Folschette, Katsumi Inoue, Sébastien Lefebvre, Cédric Lhoussaine
The 23rd International Conference on Computational Methods in Systems Biology (CMSB 2025; Luxembourg City, Luxembourg, September 2025)
Conference
Formally Explaining Decision Tree Models with Answer Set Programming
Akihiro Takemura, Masayuki Otani, Katsumi Inoue
The 41st International Conference on Logic Programming (ICLP 2025; Rende, Italy, September 12–19, 2025), Electronic Proceedings in Theoretical Computer Science (EPTCS)
Top Conference
Iterated Belief Change as Learning
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
The 34th International Joint Conference on Artificial Intelligence (IJCAI-25; Montreal, Canada, August 16–22, 2025)
Conference
SAT-based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints
Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura
The 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025; Glasgow, Scotland, UK, August 12–15, 2025), Leibniz International Proceedings in Informatics (LIPIcs)
Domestic Conference
Towards Neurosymbolic Reasoning that Mitigates Shortcut Reasoning (in Japanese)
Akihiro Takemura, Katsumi Inoue
The 39th Annual Conference of Japanese Society for Artificial Intelligence (JSAI 2025; Osaka International Convention Center, Grand Cube Osaka, Japan, May 27, 2025) – Poster presentation, 1F3-GS-1-05
Top Conference
Differentiable Rule Induction from Raw Sequence Inputs
Kun Gao, Katsumi Inoue, Yongzhi Cao, Hanpin Wang, Yang Feng
The 13th International Conference on Learning Representations (ICLR 2025; Singapore, April 24–28, 2025)
Workshop
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
ICLR 2025 Workshop on World Models: Understanding, Modelling and Scaling, April 2025