Ara es mostren els items 1-20 de 23

    • 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)
      Text en actes de congrés
      Accés obert
      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 general schema for generating argumentation semantics from logic programming semantics 

      Nieves Sánchez, Juan Carlos; Osorio Galindo, Mauricio (2008-11)
      Report de recerca
      Accés obert
      In 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 

      Garcia Gasulla, Dario; Poch Espallargas, Manel; Nieves Sánchez, Juan Carlos; Cortés García, Claudio Ulises; Turon, Clàudia (2012-04-02)
      Article
      Accés restringit per política de l'editorial
      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)
      Text en actes de congrés
      Accés obert
      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
      Accés obert
      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)
      Text en actes de congrés
      Accés obert
      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)
      Text en actes de congrés
      Accés obert
      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)
      Capítol de llibre
      Accés restringit per política de l'editorial
      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)
      Comunicació de congrés
      Accés obert
      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)
      Text en actes de congrés
      Accés obert
      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
      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 ...