Mostra el registre d'ítem simple

dc.contributor.authorNieves Sánchez, Juan Carlos
dc.contributor.authorOsorio Galindo, Mauricio
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-06-02T07:10:31Z
dc.date.available2016-06-02T07:10:31Z
dc.date.issued2008-11
dc.identifier.citationNieves, J. C., Osorio, M. "A general schema for generating argumentation semantics from logic programming semantics". 2008.
dc.identifier.urihttp://hdl.handle.net/2117/87623
dc.description.abstractIn this paper, by considering the idea that argumentation semantics can be viewed as a special form of logic programming semantics with negation as failure, we show that any logic programming semantics as the stable model semantics, the minimal models, etc., can define candidate argumentation semantics. These new argumentation semantics will overcome some of the problems of the Dung's argumentation semantics that have been discussed in the literature. The new argumentation semantics are based on a new recursive framework for logic programming semantics. This framework generalizes any logic programming semantics in order to build logic programming semantics which are always defined, satisfy the property of relevance and agree with the stable semantics for the class of stratified programs.
dc.format.extent39 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-08-32-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject.otherArgumentation semantics
dc.subject.otherLogic programming
dc.subject.otherNon-monotonic reasoning
dc.titleA general schema for generating argumentation semantics from logic programming semantics
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac18545376
dc.description.versionPostprint (published version)
local.citation.authorNieves, J. C.; Osorio, M.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple