TY - RPRT TI - Neural Decision-Propagation for Answer Set Programming AU - Thomas Eiter AU - Katsumi Inoue AU - Sota Moriyama PY - 2026 UR - https://arxiv.org/abs/2605.01797 ID - 2605.01797 ER -