Answer Sets and the Language of Answer Set Programming

2016/09/01 by Vladimir Lifschitz

paper · doi:10.1609/aimag.v37i3.2670

Abstract

Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.

Related

• A primer on Answer Set Programming
• Origins of Answer-Set Programming - Some Background And Two Personal Accounts
• An Application of Proof-Theory in Answer Set Programming
• The informal semantics of Answer Set Programming: A Tarskian perspective
• Answer Set Programming Made Easy