Answer Sets in General Nonmonotonic Reasoning (Preliminary Report).
Vladimir LifschitzThomas Y. C. WooPublished in: KR (1992)
Keyphrases
- nonmonotonic reasoning
- logic programming
- answer sets
- extended logic programs
- logic programs
- default reasoning
- answer set programming
- belief revision
- default logic
- fixpoint
- answer set semantics
- defeasible logic
- conflict resolution
- knowledge base
- nonmonotonic inference
- counter examples
- deductive databases
- incomplete information
- nonmonotonic logics
- normal logic programs
- possibility theory
- autoepistemic logic
- probabilistic reasoning
- reasoning tasks
- stable models
- programming language
- knowledge representation
- expert systems
- database