Towards end-to-end ASP computation

Taisuke Sato, Akihiro Takemura, Katsumi Inoue

We propose an end-to-end approach for Answer Set Programming (ASP) and linear algebraically compute stable models satisfying given constraints. The idea is to implement Lin-Zhao's…