Unexpected and Unwanted Results of Circumscription.
Yves MoinardRaymond RollandPublished in: AIMSA (1990)
Keyphrases
- default logic
- autoepistemic logic
- closed world assumption
- default reasoning
- events occur
- logic programs
- commonsense knowledge
- situation calculus
- nonmonotonic reasoning
- logic programming
- disjunctive logic programming
- nonmonotonic logics
- answer sets
- decision making
- theorem prover
- fixed point
- database systems
- databases
- closed world reasoning