Normative reasoning by sequent-based argumentation.
Christian StraßerOfer ArieliPublished in: J. Log. Comput. (2019)
Keyphrases
- legal reasoning
- defeasible reasoning
- argumentation systems
- legal cases
- practical reasoning
- evidential reasoning
- inference rules
- knowledge representation
- reasoning tasks
- analogical reasoning
- automated reasoning
- reasoning systems
- knowledge representation and reasoning
- abstract argumentation
- defeasible logic
- reasoning process
- probabilistic reasoning
- theoretical framework
- uncertain information
- model based reasoning
- conceptual change
- modal logic
- reasoning processes
- multi agent systems
- knowledge base
- argumentation semantics
- neural network