Aktuelles
Ein Papier akzeptiert für die NMR 2023
[08.08.2023]Das Papier "An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications" von Isabelle Kuhlmann, Carl Corea (Universität von Koblenz) und John Grant (Universität von Maryland) wurde für die NMR 2023 akzeptiert.
Inhalt des Papiers
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications
von Isabelle Kuhlmann, Carl Corea und 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.
18.04.2024