Conformance Checking with Uncertainty via SMT (Extended Version).

Paolo Felli Alessandro Gianola Marco Montali Andrey Rivkin Sarah Winkler

Published in: CoRR (2022)

Keyphrases

data sets
neural network
social networks
e learning
decision trees
reinforcement learning
data model
probability distribution
co occurrence
incomplete information
conditional probabilities