Exploració per autor "Nieves Sánchez, Juan Carlos"
Ara es mostren els items 21-23 de 23
-
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 ... -
Towards the implementation of a preference-and uncertain-aware solver using answer set programming
Confalonieri, Roberto; Nieves Sánchez, Juan Carlos; Vázquez Salceda, Javier (2010)
Report de recerca
Accés obertLogic programs with possibilistic ordered disjunction (or LPPODs) are a recently defined logic-programming framework based on logic programs with ordered disjunction and possibilistic logic. The framework inherits the ... -
Using situation calculus for normative agents in urban wastewater systems
Nieves Sánchez, Juan Carlos; Garcia Gasulla, Dario; Aulinas, Montse; Cortés García, Claudio Ulises (Springer Verlag, 2010-04-26)
Text en actes de congrés
Accés restringit per política de l'editorialWater quality management policies on a river basin scale are of special importance in order to prevent and/or reduce pollution of several human sources into the environment. Industrial effluents represent a priority issue ...