|
|||||
|
|
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming |
|
| Authors: | Yining Wu Martin Caminada Dov M. Gabbay |
| Affiliation: | 1. Interdisciplinary Lab for Intelligent and Adaptive Systems, University of Luxembourg, Luxembourg, Belgium 2. King’s College, London, UK 3. Bar-Alan University, Ramat Gan, Israel 4. University of Luxembourg, Luxembourg, Belgium |
| Abstract: | In this paper, we prove the correspondence between complete extensions in abstract argumentation and 3-valued stable models in logic programming. This result is in line with earlier work of [6] that identified the correspondence between the grounded extension in abstract argumentation and the well-founded model in logic programming, as well as between the stable extensions in abstract argumentation and the stable models in logic programming. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |