Dettaglio pubblicazione
2021, IJCAI 2021, Pages 1859-1865
HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs (04b Atto di convegno in volume)
De Giacomo Giuseppe, Felli Paolo, Montali Marco, Perelli Giuseppe
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords