Answer Set Programming (ASP; [5]) has become a popular approach to declarative problem solving in the field of Knowledge Representation and Reasoning (KRR; [79]). This is mainly due to its appealing combination
No takes yet. Share an insight, caveat, or question.
Gebser et al. (2011) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: