From KLM-style conditionals to defeasible modalities, and back.
Katarina BritzIvan José VarzinczakPublished in: J. Appl. Non Class. Logics (2018)
Keyphrases
- inheritance reasoning
- propositional logic
- belief revision
- nonmonotonic reasoning
- nonmonotonic inference
- default logic
- default rules
- default reasoning
- logic programming
- defeasible logic
- theoretically sound
- neural network
- conflicting information
- modal logic
- evolutionary algorithm
- multi agent systems
- update semantics
- video sequences
- real world