Neural Decision-Propagation for Answer Set Programming 事件

Neural Decision-Propagation for Answer Set Programming arXiv:2605.01797v2 Announce Type: replace Abstract: 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 tackle this problem, we propose a new method to compute stable models, called decision-propagati