Sign in
Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
Isabelle Kuhlmann
Carl Corea
John Grant
Published in:
Business Process Management Workshops (2023)
Keyphrases
</>
real time
high level
domain knowledge
knowledge representation
machine learning
learning environment
search algorithm
domain independent
formal specification