Now showing items 21-23 of 23

  • The stable-abducible argumentation semantics 

    Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2011)
    Conference report
    Open Access
    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)
    External research report
    Open Access
    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)
    Conference report
    Restricted access - publisher's policy
    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 ...