no code implementations • 17 Nov 2019 • Ana Ozaki, Cosimo Persia, Andrea Mazzullo
', with A an arbitrary data instance and q and query in Q.
no code implementations • 27 Aug 2021 • Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
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 properties of so-called artifact-centric systems.
no code implementations • 29 Sep 2022 • Massimo Carraturo, Andrea Mazzullo
Finally, ontology-based approaches to advanced manufacturing services can support the explainability and interpretability of the behaviour of monitoring, control, and simulation systems that are based on black-box machine learning algorithms.