Nardi, Barbara; Leone, Nicola; Terracina, Giorgio (2015-12-15)
Answer Set Programming (ASP) is a declarative rule–based programming
paradigm for knowledge representation and declarative problem–solving. The
idea of ASP is to represent a given computational problem by using a logic ...