Modelling inference in argumentation through labelled deduction: formalization and logical properties (Q874749)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling inference in argumentation through labelled deduction: formalization and logical properties |
scientific article |
Statements
Modelling inference in argumentation through labelled deduction: formalization and logical properties (English)
0 references
10 April 2007
0 references
consequence operators
0 references
knowledge representation
0 references
labelled deductive systems
0 references
defeasible argumentation
0 references
defeasible consequence
0 references
nonmonotonic inference operators
0 references
argument construction
0 references
dialectical analysis
0 references
