News
Paper accepted for NMR 2023
[08.08.2023]The paper "An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications" by Isabelle Kuhlmann, Carl Corea (University of Koblenz), and John Grant (University of Maryland) has been accepted at the NMR 2023.
Abstract of the paper
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications
by Isabelle Kuhlmann, Carl Corea and John Grant
Abstract:
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.
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.
