Advanced SAT techniques for abstract argumentation (Q2851963)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Advanced SAT techniques for abstract argumentation |
scientific article; zbMATH DE number 6213590
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Advanced SAT techniques for abstract argumentation |
scientific article; zbMATH DE number 6213590 |
Statements
Advanced SAT Techniques for Abstract Argumentation (English)
0 references
4 October 2013
0 references
abstract argumentation
0 references
propositional satisfiability
0 references
argumentation systems
0 references
0.818751871585846
0 references
0.800260066986084
0 references
0.8002369403839111
0 references
0.7916961312294006
0 references
0.788532018661499
0 references
