Mostra el registre d'ítem simple

dc.contributor.authorOsorio, Mauricio
dc.contributor.authorNieves Sánchez, Juan Carlos
dc.contributor.authorCarballido, José Luis
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2012-02-21T11:12:13Z
dc.date.available2012-02-21T11:12:13Z
dc.date.created2011
dc.date.issued2011
dc.identifier.citationOsorio, M.; NIEVES, J. C.; Carballido, J. The stable-abducible argumentation semantics. A: Latin American Workshop on Non-Monotonic Reasoning. "Latin American Workshop on Non-Monotonic Reasoning". Toluca: 2011, p. 57-68.
dc.identifier.urihttp://hdl.handle.net/2117/15273
dc.description.abstractWe look at a general way of inducing semantics in argumentation theory by means of a mapping defined on the family of 2-valued models of a normal program, which is constructed in terms of the argumentation framework. In this way we define a new argumentation semantics called stable abducible which lies in between the stable and the preferred semantics. The relevance of this new semantics is that it is nonempty for any argumentation framework, and coincides with the stable argumentation semantics whenever this is non-empty. We study some of the properties of this semant.
dc.format.extent12 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement
dc.subject.lcshArgumentation framework
dc.subject.lcshArrgumentation semantics
dc.subject.lcshLogic programming semantics
dc.titleThe stable-abducible argumentation semantics
dc.typeConference report
dc.subject.lemacProgramació lògica
dc.contributor.groupUniversitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ceur-ws.org/Vol-804/
dc.rights.accessOpen Access
local.identifier.drac8787487
dc.description.versionPostprint (published version)
local.citation.authorOsorio, M.; NIEVES, J. C.; Carballido, J.
local.citation.contributorLatin American Workshop on Non-Monotonic Reasoning
local.citation.pubplaceToluca
local.citation.publicationNameLatin American Workshop on Non-Monotonic Reasoning
local.citation.startingPage57
local.citation.endingPage68


Fitxers d'aquest items

Thumbnail

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

Mostra el registre d'ítem simple