Sota Moriyama — accepted AI-conference papers

2026

Neural Decision-Propagation for Answer Set Programming

Thomas Eiter, Katsumi Inoue, Sota Moriyama

IJCAI 2026

Integration of Answer Set Programming (ASP) with neural networks has emerged as a promising tool in Neuro-symbolic AI. While existing approaches extend the capabilities of ASP to real world domains, their reasoning pipelines depend on classical solvers, which is a bottleneck for scalability. To tack

Cited by 0 Scholar ↗

2025

T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints

Thomas Eiter, Katsumi Inoue, Nelson Higuera Ruiz, Sota Moriyama

NeurIPS 2025poster

Integrating logical constraints into object detection models for autonomous driving (AD) is a promising way to enhance their compliance with rules and thereby increase the safety of the system. T-norms have been utilized to calculate the constrained loss, i.e., the violations of logical constraints…

Cited by 0 Source ↗Scholar ↗