30 citations · 37 across the 6 of their papers we have counts for
3 papers · 2 filters
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…
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…