Picture for Katsumi Inoue

Katsumi Inoue

National Institute of Informatics

Neural Logic Networks for Interpretable Classification

Add code
Aug 11, 2025
Viaarxiv icon

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases

Add code
Aug 11, 2025
Viaarxiv icon

Neuro-Symbolic Contrastive Learning for Cross-domain Inference

Add code
Feb 13, 2025
Viaarxiv icon

Transformers Use Causal World Models in Maze-Solving Tasks

Add code
Dec 16, 2024
Viaarxiv icon

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming

Add code
Oct 14, 2024
Figure 1 for Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Figure 2 for Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Figure 3 for Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Figure 4 for Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
Viaarxiv icon

Differentiable Logic Programming for Distant Supervision

Add code
Aug 22, 2024
Viaarxiv icon

Variable Assignment Invariant Neural Networks for Learning Logic Programs

Add code
Aug 20, 2024
Viaarxiv icon

Abductive Reasoning in a Paraconsistent Framework

Add code
Aug 01, 2024
Viaarxiv icon

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

Add code
May 18, 2024
Viaarxiv icon

Structured World Representations in Maze-Solving Transformers

Add code
Dec 05, 2023
Figure 1 for Structured World Representations in Maze-Solving Transformers
Figure 2 for Structured World Representations in Maze-Solving Transformers
Figure 3 for Structured World Representations in Maze-Solving Transformers
Figure 4 for Structured World Representations in Maze-Solving Transformers
Viaarxiv icon