Prioritized Sequent-Based Argumentation.
Ofer ArieliAnnemarie BorgChristian StraßerPublished in: AAMAS (2018)
Keyphrases
- inference rules
- argumentation systems
- proof procedures
- defeasible reasoning
- modal logic
- possibilistic logic
- evidential reasoning
- agent communication
- argumentation semantics
- argumentation theory
- conceptual change
- natural deduction
- legal reasoning
- dialogue games
- argumentation skills
- sequent calculi
- argumentation based negotiation