Answer Sets and the Language of Answer Set Programming

Vladimir Lifschitz

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.

Full Text:

PDF


DOI: https://doi.org/10.1609/aimag.v37i3.2670

Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.