Browsing by Author "Nieves Sánchez, Juan Carlos"
Now showing items 1-20 of 23
-
A framework for the development and maintenance of adaptive, dynamic, context-aware information services
(2010)
Conference report
Open AccessThis paper presents an agent-based methodological approach to design distributed service-oriented systems which can adapt their behaviour according to changes in the environment and in the user needs, even taking the ... -
A general schema for generating argumentation semantics from logic programming semantics
(2008-11)
Research report
Open AccessIn this paper, by considering the idea that argumentation semantics can be viewed as a special form of logic programming semantics with negation as failure, we show that any logic programming semantics as the stable model ... -
A logic-based environmental decision support system for the management of horizontal subsurface constructed wetlands
(2012-04-02)
Article
Restricted access - publisher's policyThe use of Horizontal Subsurface Constructed Wetlands (HSCWs) for treating wastewaters in small communities has increased in the last years due to HSCW’s ecological singularities. Unfortunately, the same singularities ... -
A preference meta-model for logic programs with possibilistic ordered disjunction
(CEUR Workshop Proceedings, 2009)
Conference report
Open AccessThis paper presents an approach for specifying user preferences related to services by means of a preference meta-model, which is mapped to logic programs with possibilistic ordered disjunction following a Model-Driven ... -
An operational approach for implementing normative agents in urban wastewater systems
(2012-01-01)
Article
Open AccessLas políticas de gestión de la calidad del agua a nivel de cuenca hidrográfica son especialmente importantes para la prevención y/o reducción de la polución originada por el hombre en el medio ambiente. Los efluentes ... -
Bringing action language C+ to normative contexts: preliminary report
(CEUR Workshop Proceedings, 2010)
Conference report
Open AccessC+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form of C+ designed for representing complex ... -
CF2-extensions as answer-set models
(IOS Press, 2010)
Conference report
Open AccessExtension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic ... -
Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering
(Springer Wien New York, 2011-01-28)
Part of book or chapter of book
Restricted access - publisher's policyEnterprise systems are increasingly composed of (and even functioning as) components in a dynamic, digital ecosystem. On the one hand, this new situation requires flexible, spontaneous and opportunistic collaboration ... -
Dynamic orchestration of distributed services on interactive community displays: the ALIVE approach
(Springer Verlag, 2009)
Conference lecture
Open AccessInterconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been try-ing to address this kind of environments for a long time. The European ... -
Extension-based argumentation semantics via logic programming semantics with negation as failure
(CEUR Workshop Proceedings, 2009)
Conference report
Open AccessExtension-based argumentation semantics have been shown to be a suitable approach for performing practical reasoning. Since extension-based argumentation semantics were formalized in terms of relationships between atomic ... -
G’3-stable semantics and inconsistency
(2009-09-01)
Article
Open AccessWe 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
(Springer, 2011)
Conference report
Restricted access - publisher's policyDefault 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
(2011)
Conference report
Restricted access - publisher's policyAccording 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
(Internatinal Water Association (IWA), 2011)
Conference lecture
Restricted access - publisher's policyThis 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
(2007-07)
Research report
Open AccessGiven 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
(CEUR Workshop Proceedings, 2010)
Conference report
Open AccessIn 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
(IOS PRESS-ECSC, BRUXELLES, 2009-10-01)
Conference report
Restricted access - publisher's policyIt 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
(International Congress on Environmental Modelling and Software, 2010)
Conference report
Restricted access - publisher's policyThe 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
(2008-02-15)
Research report
Open AccessOne 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
(Elsevier, 2011-05-01)
Article
Restricted access - publisher's policyThe 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 ...
