HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs.

Giuseppe De Giacomo Paolo Felli Marco Montali Giuseppe Perelli

Published in: IJCAI (2021)

Keyphrases

data sets
data mining
machine learning
neural network
information retrieval
case study