Mostra el registre d'ítem simple
CF2-extensions as answer-set models
dc.contributor.author | Osorio, Mauricio |
dc.contributor.author | Nieves Sánchez, Juan Carlos |
dc.contributor.author | Gómez Sebastià, Ignasi |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2011-12-28T13:09:24Z |
dc.date.available | 2011-12-28T13:09:24Z |
dc.date.created | 2010 |
dc.date.issued | 2010 |
dc.identifier.citation | Osorio, M.; Nieves, J. C.; Ignasi Gómez-Sebastià. CF2-extensions as answer-set models. A: International Conference on Computational Models of Argument. "Proceedings of the COMMA2010 Conference". Desenzano del Garda: IOS Press, 2010, p. 391-402. |
dc.identifier.isbn | 978-1-60750-618-8 |
dc.identifier.uri | http://hdl.handle.net/2117/14338 |
dc.description.abstract | Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic arguments, it has been shown that extension-based argumentation semantics based on admissible sets such as stable semantics can be characterized in terms of answer sets. In this paper, we present an approach for characterizing SCC-recursive semantics in terms of answer set models. In particular, we will show a characterization of CF2 in terms of answer set models. This result suggests that not only extension-based argumentation semantics based on admissible sets can be characterized in terms of answer sets; but also extension-based argumentation semantics based on Strongly Connected Components can be characterized in terms of answer sets. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.publisher | IOS Press |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial |
dc.subject.lcsh | Answer-set semantics |
dc.subject.lcsh | Argumentation theory |
dc.title | CF2-extensions as answer-set models |
dc.type | Conference report |
dc.subject.lemac | Teoría de l'argumentació |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.identifier.doi | 10.3233/978-1-60750-619-5-391 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.booksonline.iospress.nl/Content/View.aspx?piid=18276 |
dc.rights.access | Open Access |
local.identifier.drac | 8787885 |
dc.description.version | Preprint |
local.citation.author | Osorio, M.; Nieves, J. C.; Ignasi Gómez-Sebastià |
local.citation.contributor | International Conference on Computational Models of Argument |
local.citation.pubplace | Desenzano del Garda |
local.citation.publicationName | Proceedings of the COMMA2010 Conference |
local.citation.startingPage | 391 |
local.citation.endingPage | 402 |