Results on Translating Defaults to Circumscription.
Tomasz ImielinskiPublished in: Artif. Intell. (1987)
Keyphrases
- default logic
- default reasoning
- default theories
- autoepistemic logic
- nonmonotonic reasoning
- nonmonotonic logics
- closed world reasoning
- logic programming
- default rules
- modal logic
- belief revision
- fixed point
- truth maintenance systems
- minimal models
- closed world assumption
- propositional logic
- data exchange
- neural network