Abstract solvers for Dung’s argumentation frameworks
Abstract solvers are a quite recent method to uniformly describe algorithms in a rigorous formal way via graphs. Compared to traditional methods like pseudo-code descriptions, abstract solvers have several advantages. In particular, they provide a uniform formal representation that allows for...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IOS Press
2018-01-01
|
| Series: | Argument & Computation |
| Online Access: | https://doi.org/10.3233/AAC-170031 |