30 citations · 38 across the 6 of their papers we have counts for
4 papers · 1 filter
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Marco Montali, Ario Santoso
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve it…
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…
Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Diego Calvanese, Evgeny Kharlamov, Marco Montali +2
Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain o…