Description Logic Knowledge and Action Bases

4 February 2014

Papers citing "Description Logic Knowledge and Action Bases"

2 / 2 papers shown

Title
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) S. Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin 35 1 0 12 Aug 2022
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) Diego Calvanese Alessandro Gianola Andrea Mazzullo Marco Montali 25 2 0 27 Aug 2021