Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining (OVERLAY@AI*IA)
Abstract
We present a new approach for solving temporal problems using Answer Set Programming (ASP), which exploits the automata representation of temporal specifications. This approach is then used to solve key problems from Process Mining. The contributions are manifold. Firstly, for the Temporal Logics community, it provides a tool to perform temporal reasoning. Secondly, for the ASP community, it offers a method to intuitively handle time. Finally, for the Process Mining community, it provides both tools and methods for analyzing event logs.
Date
Nov 7, 2023
Event
5th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Location
Rome, Italy
