Automated Sustainability Compliance Checking Using Process Mining and Formal Logic.

Clemens Schreiber

Published in: CoRR (2020)

Keyphrases

process mining
formal logic
process model
event logs
business process
predicate logic
business processes
description logics
decision support system
formal methods
clinical pathway
knowledge base
logic programming