Answer Sets and the Language of Answer Set Programming.

Vladimir Lifschitz

Published in: AI Mag. (2016)

Keyphrases

answer set programming
answer sets
logic programs
logic programming
disjunctive logic programming
answer set programs
answer set solvers
answer set semantics
reasoning tasks
programming language
declarative programming
stable models
stable model semantics
fixpoint
general purpose
update semantics