Exploració per autor "Nieves Sánchez, Juan Carlos"
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 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 ... -
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'editorialDefault 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'editorialAccording 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'editorialThis 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 obertGiven 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 obertIn 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'editorialIt 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'editorialThe 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 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 ... -
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'editorialThe 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 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 ...