An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications

We present a framework of answer set programming-based solutions for various problems related to declarative process specifications. Specifically, the framework offers implementations for conformance checking, satisfiability checking, and two different inconsistency measures. Since the aforementioned problems are represented in a fragment of linear temporal logic, the framework could also prove useful for a broader range of applications beyond process specifications.

Authors

• Isabelle Kuhlmann
• Carl Corea
• John Grant

Keywords

No keywords are indexed for this paper.