On the Correspondence between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics.
Jesse HeyninckGabriele Kern-IsbernerMatthias ThimmPublished in: FLAIRS Conference (2020)
Keyphrases
- conditional logic
- nonmonotonic reasoning
- defeasible reasoning
- modal logic
- nonmonotonic inference
- default reasoning
- argumentation systems
- belief revision
- logic programming
- higher order logic
- nonmonotonic logics
- default logic
- high level
- defeasible logic
- knowledge representation and reasoning
- temporal logic
- higher order
- logic programs
- general purpose
- sound and complete axiomatization
- multiple inheritance
- argumentation semantics
- natural language
- abstract argumentation frameworks
- artificial intelligence