Now showing items 1-4 of 4

  • Policy-based reasoning for smart web service interaction 

    Alberti M; Chesani F; Gavanelli M; Lamma E; Mello P; Montali M; Torroni P (2006)
    We present a vision of smart, goal-oriented web services that reason about other services' policies and evaluate the possibility of future interactions. To achieve our vision, we propose a proof theoretic approach. We ...
  • Towards a DecSerFlow declarative semantics based on computational logic 

    Chesani F; Mello P; Montali M; Storari S (2007)
    In this paper we exploit a computational logic-based framework, called SCIFF, for the formalization of DecSerFlow. DecSerFlow is a graphical, extendible high-level language for the declarative specification of service ...
  • An efficient implementation of Reactive Event Calculus in SCIFF 

    Chesani, F; Mello, P; Montali, M; Torroni, P (2008)
    In this work, we propose a reactive version of the Event Calculus (EC) implemented on top of the SCIFF framework. Being reactive, such an implementation is able to dynamically update the status of fluents as events occur. ...
  • A multistakeholder analysis of BES data: a focus on health in South Tyrol 

    Salustri A; Viganò F (2017)
    The paper develops a multi-stakeholder wellbeing analysis based on BES data (Benessere Equo e Sostenibile, namely “Equitable and Sustainable Wellbeing”) on Health in South Tyrol, in order to highlight convergences and ...