145 citations · 360 across the 54 of their papers we have counts for
5 papers · 1 filter
Adding Context to Knowledge and Action Bases
Diego Calvanese, İsmail İlkan Ceylan, Marco Montali +1
Knowledge and Action Bases (KABs) have been recently proposed as a formal framework to capture the dynamics of systems which manipulate Description Logic (DL) Knowledge Bases (KBs)…
Verification of Relational Multiagent Systems with Data Types (Extended Version)
Diego Calvanese, Giorgio Delzanno, Marco Montali
We study the extension of relational multiagent systems (RMASs), where agents manipulate full-fledged relational databases, with data types and facets equipped with domain-specific…
Verifiable UML Artifact-Centric Business Process Models (Extended Version)
Diego Calvanese, Marco Montali, Montserrat Estanol +1
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process rela…
LTLf and LDLf Monitoring: A Technical Report
Giuseppe De Giacomo, Riccardo De Masellis, Marco Grasso +2
Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and…
Description Logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali +3
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both a semantically rich representation of the information on the domain of interest in terms of a…