Conformance Checking with Uncertainty via SMT.

Paolo Felli Alessandro Gianola Marco Montali Andrey Rivkin Sarah Winkler

Published in: BPM (2022)

Keyphrases

statistical machine translation
databases
decision theory
inherent uncertainty
real time
data sets
learning algorithm
artificial intelligence
computer vision
feature selection
e learning
control system
uncertain data
robust optimization