ASP

Witnesses for Answer Sets of Logic Programs
In this article, we consider Answer Set Programming (ASP). It is a declarative problem solving paradigm that can be used to encode a …
Cite Code DOI