Guarded resolution for Answer Set Programming.
Victor W. MarekJeffrey B. RemmelPublished in: Theory Pract. Log. Program. (2011)
Keyphrases
- answer set programming
- logic programs
- logic programming
- answer sets
- constraint logic programming
- answer set programs
- reasoning tasks
- stable model semantics
- causal theories
- knowledge representation
- tree decomposition
- query answering
- update semantics
- horn clauses
- haplotype inference
- natural language
- background knowledge
- disjunctive logic programming