Temporal Reasoning in ASP and its Application to Declarative Process Mining (TLf@AAAI-SSS'23)
Abstract
We propose a new approach for solving temporal problems with Answer Set Programming that exploit the automata representation of LTLf formulae and apply it to a selection of Declarative Process Mining problems.
Date
Mar 28, 2023
Event
AAAI 2023 Spring Symposium On the Effectiveness of Temporal Logics on Finite Traces in AI
Location
Burlingame, CA, USA
