Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Marc DeneckerJoost VennekensHanne VlaeminckJohan WittocxMaurice BruynooghePublished in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Keyphrases
- answer set programming
- logic programming
- classical logic
- logic programs
- automated theorem proving
- answer sets
- answer set programs
- causal theories
- reasoning tasks
- answer set solvers
- constraint logic programming
- deductive databases
- knowledge representation
- default theories
- stable model semantics
- haplotype inference
- nonmonotonic reasoning
- default logic
- answer set semantics
- modal logic
- general purpose