Chapter

Logic Programming

Volume 2916 of the series Lecture Notes in Computer Science pp 483-484

Definitions in Answer Set Programming

  • Selim T. ErdoğanAffiliated withDepartment of Computer Sciences, University of Texas
  • , Vladimir LifschitzAffiliated withDepartment of Computer Sciences, University of Texas

* 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.