Neural Decision-Propagation for Answer Set Programming

Thomas Eiter, Katsumi Inoue, Sota Moriyama

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 r…