Handling Complex Process Models Conditions Using First-Order Horn Clauses.

Stefano Ferilli

Published in: RuleML (2016)

Keyphrases

formal concept analysis
process mining
horn clauses
process model
event logs
first order logic
inference rules
logic programs
inductive logic programming
business processes
business process
function symbols
databases
high level
business process models
petri net
active learning
search engine
real world