Hypersequent-Based Argumentation: An Instantiation in the Relevance Logic RM.
Annemarie BorgOfer ArieliChristian StraßerPublished in: TAFA (2017)
Keyphrases
- argumentation systems
- proof procedures
- argumentation theory
- defeasible reasoning
- information retrieval
- relevance feedback
- logic programming
- test collection
- logic based argumentation
- modal logic
- classical logic
- multi agent
- dynamic logic
- defeasible logic
- computational properties
- epistemic logic
- legal reasoning
- logical framework
- abstract argumentation frameworks
- automated reasoning
- inference rules
- probabilistic model