Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning.
David PearcePublished in: WLP (2000)
Keyphrases
- answer set programming
- nonmonotonic reasoning
- logic programming
- default theories
- logic programs
- proof theoretic
- answer sets
- constraint logic programming
- default reasoning
- default logic
- truth maintenance systems
- reasoning tasks
- deductive databases
- inheritance reasoning
- nonmonotonic inference
- autoepistemic logic
- knowledge representation and reasoning
- stable models
- knowledge representation
- classical logic
- stable model semantics
- answer set programs
- knowledge base
- possibility theory
- fixpoint
- nonmonotonic logics
- belief revision
- programming language
- defeasible logic
- answer set semantics
- databases