An Introduction to Answer Set Programming and Some of Its Extensions.
Wolfgang FaberPublished in: Reasoning Web (2020)
Keyphrases
- answer set programming
- default theories
- logic programming
- logic programs
- answer sets
- constraint logic programming
- reasoning tasks
- stable model semantics
- meta level reasoning
- causal theories
- answer set programs
- stable models
- default logic
- haplotype inference
- knowledge representation
- declarative programming
- nonmonotonic reasoning
- machine learning
- truth maintenance systems
- query answering
- orders of magnitude
- programming language
- natural language
- high level