Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0.
Victor W. MarekPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- answer set programming
- stable model semantics
- logic programming
- logic programs
- answer sets
- stable models
- causal theories
- reasoning tasks
- constraint logic programming
- answer set semantics
- answer set programs
- update semantics
- knowledge representation
- search algorithm
- nonmonotonic reasoning
- query evaluation
- haplotype inference