Now showing items 1-10 of 10

  • A middleware for building contract-aware agent-based services 

    Confalonieri, Roberto; Álvarez Napagao, Sergio; Panagiotidi, Sofia; Vázquez Salceda, Javier; Willmott, Steven Nicolás (Springer Verlag, 2008)
    Conference report
    Restricted access - publisher's policy
    This paper presents a middleware to help designers in the implementation of contract-aware agent-based services. The middleware provides several components, including a contract manager, a communication manager and a ...
  • 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 ...
  • Answer set programming for computing decisions under uncertainty 

    Confalonieri, Roberto; Prade, Henri (Springer, 2011)
    Conference report
    Restricted access - publisher's policy
    Possibility theory offers a qualitative framework for modeling decision under uncertainty. In this setting, pessimistic and optimistic decision criteria have been formally justified. The computation by means of possibilistic ...
  • 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 ...
  • Logic programs with possibilistic ordered disjunction 

    Confalonieri, Roberto; Nieves, Juan Carlos; Vázquez Salceda, Javier (2009-05)
    External research report
    Open Access
    Logic programs with ordered disjunction have shown to be a flexible specification language able to model common user preferences in a natural way. However, in some realistic scenarios the preferences should be linked to ...
  • L’Scratch com a suport educatiu d’introducció a la programació en la classe de matemàtiques 

    Confalonieri, Roberto (Universitat Politècnica de Catalunya, 2013-06-26)
    Master thesis
    Open Access
    L'ús de les tecnologies de la informació i la comunicació (TICs) en l'escola secundària obligatòria (ESO) tracta de millorar els processos d'ensenyament i d'aprenentatge que, de forma quotidiana, es desenvolupen a l'aula. ...
  • 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 ...
  • The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty 

    Confalonieri, Roberto (Universitat Politècnica de Catalunya, 2011-12-02)
    Doctoral thesis
    Open Access
  • 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)
    External research report
    Open Access
    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 ...
  • USE: a multi-agent user-driven recommendation system for semantic knowledge extraction 

    Lopes, João Sousa; Álvarez Napagao, Sergio; Confalonieri, Roberto; Vázquez Salceda, Javier (2009-06-15)
    External research report
    Open Access
    Semiotics is a field where research on Computer Science methodologies has focused, mainly concerning Syntax and Semantics. These methodologies, however, are lacking of some flexibility for the continuously evolving web ...