Now showing items 1-19 of 19

  • A framework for the development and maintenance of adaptive, dynamic, context-aware information services 

    Palau, Manel; Gómez Sebastià, Ignasi; Ceccaroni, Luigi; Vázquez Salceda, Javier; Nieves Sánchez, Juan Carlos (2010)
    Conference report
    Open Access
    This 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 logic-based environmental decision support system for the management of horizontal subsurface constructed wetlands 

    Garcia Gasulla, Dario; Poch Espallargas, Manel; Nieves Sánchez, Juan Carlos; Cortés García, Claudio Ulises; Turon, Clàudia (2012-04-02)
    Article
    Restricted access - publisher's policy
    The 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 

    Confalonieri, Roberto; Nieves Sánchez, Juan Carlos; Vázquez Salceda, Javier (CEUR Workshop Proceedings, 2009)
    Conference report
    Open Access
    This 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 

    Nieves Sánchez, Juan Carlos; Garcia Gasulla, Dario; Aulinas, Montse; Cortés García, Claudio Ulises (2012-01-01)
    Article
    Open Access
    Las 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 

    Garcia Gasulla, Dario; Nieves Sánchez, Juan Carlos (CEUR Workshop Proceedings, 2010)
    Conference report
    Open Access
    C+ 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 

    Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Gómez Sebastià, Ignasi (IOS Press, 2010)
    Conference report
    Open Access
    Extension-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 

    Reed, Cris; Nieves Sánchez, Juan Carlos; Padget, Julián; Vasconcelos, Wamberto; Staikopoulos, Athanasios; Cliffe, Owen; Dignum, Frank; Vázquez Salceda, Javier; Clarke, Siobhán (Springer Wien New York, 2011-01-28)
    Part of book or chapter of book
    Restricted access - publisher's policy
    Enterprise 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 

    Gómez Sebastià, Ignasi; Palau, Manel; Nieves Sánchez, Juan Carlos; Vázquez Salceda, Javier; Ceccaroni, Luigi (Springer Verlag, 2009)
    Conference lecture
    Open Access
    Interconnected 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 

    Nieves Sánchez, Juan Carlos; Gómez Sebastià, Ignasi (CEUR Workshop Proceedings, 2009)
    Conference report
    Open Access
    Extension-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 

    Osorio, Mauricio; Zepeda, Claudia; Nieves Sánchez, Juan Carlos; Carballido, José Luis (2009-09-01)
    Article
    Open Access
    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)
    Conference report
    Restricted access - publisher's policy
    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)
    Conference report
    Restricted access - publisher's policy
    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)
    Conference lecture
    Restricted access - publisher's policy
    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 ...
  • Nested logic programs with ordered disjunction 

    Confalonieri, Roberto; Nieves Sánchez, Juan Carlos (CEUR Workshop Proceedings, 2010)
    Conference report
    Open Access
    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)
    Conference report
    Restricted access - publisher's policy
    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)
    Conference report
    Restricted access - publisher's policy
    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, ...
  • 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
    Restricted access - publisher's policy
    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)
    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 ...
  • 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 ...