Automated Sustainability Compliance Checking Using Process Mining and Formal Logic.
Clemens SchreiberPublished in: ICT4S (2020)
Keyphrases
- process mining
- formal logic
- process model
- event logs
- business process
- business processes
- predicate logic
- clinical pathway
- formal concept analysis
- description logics
- formal methods
- decision support system
- logic programming
- design theory
- artificial intelligence
- knowledge discovery
- data analysis
- case study
- website
- e learning
- information systems
- machine learning