Katsumi Inoue

National Institute of Informatics , Japan

19 papers in the IJCAI proceedings

IJCAI 2026

Neural Decision-Propagation for Answer Set Programming

with Thomas Eiter, Sota Moriyama

doi:10.24963/ijcai.2026/425

Details PDF

IJCAI 2025

Iterated Belief Change as Learning

with Nicolas Schwind, Sébastien Konieczny, Pierre Marquis

doi:10.24963/ijcai.2025/520

Details PDF

IJCAI 2024

A differentiable first-order rule learner for inductive logic programming (Abstract Reprint)

with Kun Gao, Yongzhi Cao, Hanpin Wang

doi:10.24963/ijcai.2024/950

Details PDF

IJCAI 2022

Learning First-Order Rules with Differentiable Logic Program Semantics

with Kun Gao, Yongzhi Cao, Hanpin Wang

doi:10.24963/ijcai.2022/417

Details PDF

IJCAI 2020

Design Adaptive AI for RTS Game by Learning Player's Build Order

with Guillaume Lorthioir

doi:10.24963/ijcai.2020/737

Details PDF

IJCAI 2019

Meta-Interpretive Learning Using HEX-Programs

with Tobias Kaminski, Thomas Eiter

doi:10.24963/ijcai.2019/860

Details PDF

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario

with Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

doi:10.24963/ijcai.2019/258

Details PDF

IJCAI 2018

Abducing Relations in Continuous Spaces

with Taisuke Sato, Chiaki Sakama

doi:10.24963/ijcai.2018/270

Details PDF

IJCAI 2016

Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?

with Nicolas Schwind, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

Details PDF

Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation

with Tenda Okimoto, Tony Ribeiro, Damien Bouchabou

Details PDF

IJCAI 2011

Logic Programming for Boolean Networks

doi:10.5591/978-1-57735-516-8/IJCAI11-160

Details PDF

IJCAI 2009

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs

with Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Details PDF

IJCAI 2005

Equivalence in Abductive Logic

with Chiaki Sakama

Details PDF

IJCAI 1999

Abducing Priorities to Derive Intended Conclusions

with Chiaki Sakama

Details PDF

IJCAI 1997

Learning Extended Logic Programs

with Yoshimitsu Kudoh

Details PDF

IJCAI 1995

Abductive Framework for Nonmonotonic Theory Change

with Chiaki Sakama

Details PDF

IJCAI 1993

Bottom-up Abduction by Model Generation

with Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima

Details PDF

IJCAI 1991

Consequence-Finding Based on Ordered Linear Resolution

Details PDF

Query Answering in Circumscription

with Nicolas Helft, David Poole

Details PDF