3 citations · 8 across the 11 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.AI2021★ 1 cited
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo +1
In the context of verification of data-aware processes (DAPs), a formal approach based on satisfiability modulo theories (SMT) has been considered to verify parameterised safety pr…
cs.LO2021
On Free Description Logics with Definite Descriptions
Alessandro Artale, Andrea Mazzullo, Ana Ozaki +1
Definite descriptions are phrases of the form 'the such that ', used to refer to single entities in a context. They are often more meaningful to users than individual names…