Elementary Hyperentailment -Nonmonotonic reasoning about defaults-.
Emil WeydertPublished in: ECSQARU (1991)
Keyphrases
- default logic
- default rules
- nonmonotonic logics
- nonmonotonic reasoning
- modal operators
- default reasoning
- truth maintenance systems
- default theories
- autoepistemic logic
- modal logic
- logic programming
- causal reasoning
- expressive power
- spatial reasoning
- qualitative reasoning
- commonsense reasoning
- multiple inheritance
- school children
- probabilistic knowledge
- formal theory
- propositional logic
- probabilistic logic
- databases
- constraint propagation
- logic programs