Open AccessAnswer Sets and the Language of Answer Set Programming
Author(s) -
Lifschitz Vladimir
Publication year - 2016
Publication title -
ai magazine
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.597
H-Index - 79
eISSN - 2371-9621
pISSN - 0738-4602
DOI - 10.1609/aimag.v37i3.2670
Subject(s) - answer set programming , set (abstract data type) , programming language , computer science , logic programming , functional logic programming , declarative programming , stable model semantics , inductive programming , semantics (computer science) , fifth generation programming language , programming paradigm , theoretical computer science , artificial intelligence , operational semantics
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.