Now showing items 1-5 of 5

    • Abducing Workflow Traces: a General Framework to Manage Incompleteness in Business Processes (Short Paper) 

      Chesani F; De Masellis R; Di Francescomarino C; Ghidini C; Mello P; Montali M; Tessaris S (IOS Press, 2016)
      The capability to store data about Business Process executions in so-called Event Logs has brought to the identification of a range of key reasoning services (consistency, compliance, runtime monitoring, prediction) for ...
    • Agent composition synthesis based on ATL 

      De Giacomo G; Felli P (IFAAMAS, 2010)
      Agent, composition is the problem of realizing a "virtual" agent by suitably directing a set of available "concrete", i.e., already implemented, agents. It is a synthesis problem, since its solution amounts to synthesizing ...
    • Complexity Results for Probabilistic Datalog± 

      Ceylan II; Lukasiewicz T; Peñaloza R (IOS Press, 2016)
      We study the query evaluation problem in probabilistic databases in the presence of probabilistic existential rules. Our focus is on the Datalog± family of languages for which we define the probabilistic counterpart using ...
    • On Metric Temporal Description Logics 

      Gutierrez-Basulto V; Ozaki A; Jung J (IOS Press, 2016)
      We introduce metric temporal description logics (mTDLs) as combinations of the classical description logic ALC with (a) LTLbin, an extension of the temporal logic LTL with succinctly represented intervals, and (b) metric ...
    • Realisability of Production Recipes 

      de Silva L; Felli P; Chaplin JC; Logan B; Sanderson D; Ratchev S (IOS Press, 2016)
      There is a rising demand for customised products with a high degree of complexity. To meet these demands, manufacturing lines are increasingly becoming autonomous, networked, and intelligent, with production lines being ...