Ara es mostren els items 11-23 de 23

    • G’3-stable semantics and inconsistency 

      Osorio, Mauricio; Zepeda, Claudia; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2009-09-01)
      Article
      Accés obert
      We 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 ...
    • Handling exceptions in logic programming without negation as failure 

      Confalonieri, Roberto; Prade, Henri; Nieves Sánchez, Juan Carlos (Springer, 2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      Default rules, i.e. statements of the form normally a’s are b’s, are usually handled in Answer Set Programming by means of negation as failure which provides a way to capture exceptions to normal situations. In this paper ...
    • Harmonization of semantic data models of electric data standards 

      Nieves Sánchez, Juan Carlos; Ortega de Mues, Mariano; Espinoza, Angelina; Rodríguez Álvarez, Daniel (2011)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      According to the Electric Power Research Institute (EPRI) a common semantics model is necessary for achieving interoperability in the Smart Grid vision. In this paper, we present an outline of two influential International ...
    • HSCW intelligent management 

      Garcia Gasulla, Dario; Poch, M; Nieves Sánchez, Juan Carlos; Cortés García, Claudio Ulises (Internatinal Water Association (IWA), 2011)
      Comunicació de congrés
      Accés restringit per política de l'editorial
      This work is motivated by the difficulty of representing Environmental domains in a functional way. We present a formalization approach covering both environmental and computational needs. It allows us to produce an ...
    • Inferring preferred extensions by Pstable semantics 

      Nieves Sánchez, Juan Carlos; Osorio Galindo, Mauricio (2007-07)
      Report de recerca
      Accés obert
      Given an argumentation framework AF, we present a normal program Psi_{AF}, such that the preferred extensions of AF correspond exactly with the pstable models of Psi_{AF}. Moreover, we motivate the notion of suitable ...
    • Nested logic programs with ordered disjunction 

      Confalonieri, Roberto; Nieves Sánchez, Juan Carlos (CEUR Workshop Proceedings, 2010)
      Text en actes de congrés
      Accés obert
      In this paper we define a class of nested logic programs, nested logic programs with ordered disjunction (LPODs+), which allows to specify qualitative preferences by means of nested preference expressions. For doing this ...
    • Reasoning about actions for the management of Urban Wastewater System: preliminary report 

      Nieves Sánchez, Juan Carlos; Aulinas, Montse; Cortés García, Claudio Ulises (IOS PRESS-ECSC, BRUXELLES, 2009-10-01)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      It is well-known that the management of Urban Wastewater Systems (UWS) is a complex and critical process. To decide which is the correct sequence of actions for managing a given circumstance it is necessary a sophisticated ...
    • Reasoning about actions for the management of urban wastewater systems using a causal logic 

      Garcia Gasulla, Dario; Cortés García, Claudio Ulises; Nieves Sánchez, Juan Carlos (International Congress on Environmental Modelling and Software, 2010)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      The management of Urban Wastewater Systems (UWS) is a critical and difficult process. Handling polluted water in UWS requires planning and decision making regarding sectors such as environmental, energetic, industrial, ...
    • 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 obert
      One 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 ...
    • Supporting decision making in urban wastewater systems using a knowledge-based approach 

      Aulinas, Montse; Nieves Sánchez, Juan Carlos; Cortés García, Claudio Ulises; Poch, Manel (Elsevier, 2011-05-01)
      Article
      Accés restringit per política de l'editorial
      The use of knowledge-based systems has been shown to be a suitable approach to support decision making in environmental systems. Capturing and managing the huge quantity of data/information that has to be considered is an ...
    • 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 ...