Picture for Katsumi Inoue

Katsumi Inoue

Editors

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

Add code
Oct 14, 2024
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
Viaarxiv icon

Bounded Combinatorial Reconfiguration with Answer Set Programming

Add code
Jul 20, 2023
Viaarxiv icon

Towards end-to-end ASP computation

Add code
Jun 13, 2023
Viaarxiv icon

Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines

Add code
Dec 07, 2022
Viaarxiv icon

Action Languages Based Actual Causality in Ethical Decision Making Contexts

Add code
May 05, 2022
Figure 1 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 2 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 3 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Figure 4 for Action Languages Based Actual Causality in Ethical Decision Making Contexts
Viaarxiv icon