On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics.
Jesse HeyninckGabriele Kern-IsbernerMatthias ThimmKenneth SkibaPublished in: Ann. Math. Artif. Intell. (2021)
Keyphrases
- conditional logic
- nonmonotonic reasoning
- defeasible reasoning
- modal logic
- nonmonotonic inference
- default reasoning
- argumentation systems
- belief revision
- logic programming
- default logic
- higher order logic
- nonmonotonic logics
- defeasible logic
- knowledge representation and reasoning
- belief change
- multi dimensional
- high level
- inference rules
- knowledge base
- general purpose