Maps Between Nonmonotonic and Conditional Logic.
Horacio L. Arló-CostaScott J. ShapiroPublished in: KR (1992)
Keyphrases
- conditional logic
- nonmonotonic reasoning
- modal logic
- default reasoning
- nonmonotonic inference
- belief revision
- logic programming
- defeasible reasoning
- default logic
- higher order logic
- nonmonotonic logics
- defeasible logic
- temporal logic
- argumentation systems
- knowledge representation and reasoning
- machine learning
- knowledge base
- belief change
- natural language
- propositional logic
- inference rules
- message passing