Exploració per autor "Osorio, Mauricio"
Ara es mostren els items 1-4 de 4
-
CF2-extensions as answer-set models
Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Gómez Sebastià, Ignasi (IOS Press, 2010)
Text en actes de congrés
Accés obertExtension-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 ... -
G’3-stable semantics and inconsistency
Osorio, Mauricio; Zepeda, Claudia; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2009-09-01)
Article
Accés obertWe present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which is called ... -
Studying the grounded semantics by using a suitable codification
Nieves Sánchez, Juan Carlos; Osorio, Mauricio; Cortés García, Claudio Ulises (2008-02-15)
Report de recerca
Accés obertOne of the most representative semantics of Dung's approach is the grounded semantics. This semantics captures a skeptical approach, this means that given an argumentation framework the grounded semantics always identifies ... -
The stable-abducible argumentation semantics
Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2011)
Text en actes de congrés
Accés obertWe 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 ...