Fang Li

grASP: A Graph Based ASP-Solver and Justification System

2021 · arXiv (Cornell University)

Answer set programming (ASP) is a popular nonmonotonic-logic based paradigm for knowledge representation and solving combinatorial problems. Computing the answer set of an ASP program is NP-hard in general, and researchers have been investing significant …