A flexible approach to argumentation framework analysis using theorem proving (Q5037672)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7483821
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A flexible approach to argumentation framework analysis using theorem proving |
scientific article; zbMATH DE number 7483821 |
Statements
3 March 2022
0 references
abstract argumentation
0 references
extensional type theory
0 references
automated reasoning
0 references
meta-logical reasoning
0 references
proof assistants
0 references
0.756074845790863
0 references
0.7508930563926697
0 references
0.7437912821769714
0 references
0.7396800518035889
0 references
