Definitions in Answer Set Programming

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The work described here is motivated by our interest in the methodology of answer set programming (ASP). The idea of ASP is to solve a problem by writing a logic program the answer sets of which correspond to solutions.