From reasonable preferences, via argumentation, to logic.
Justine JacotEmmanuel J. GenotFrank ZenkerPublished in: J. Appl. Log. (2016)
Keyphrases
- argumentation frameworks
- proof procedures
- argumentation theory
- possibilistic logic
- modal logic
- automated reasoning
- logical framework
- classical logic
- logic based argumentation
- preference elicitation
- high quality
- abstract argumentation
- predicate logic
- legal reasoning
- defeasible logic
- argumentation systems
- deontic logic
- abstract argumentation frameworks
- user preferences
- logic programming
- nonmonotonic logics
- theorem proving
- inference rules
- agent communication
- asynchronous circuits
- defeasible reasoning
- argumentation semantics
- belief revision
- decision making