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 obert
      We 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 obert
      Logic 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'editorial
      Water 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 ...