Solving Declarative Process Mining Problems Using Declarative Problem Solving (AI4BPM@AAAI)
Abstract
My research is at the intersection of three areas: (i) Temporal Logics, (ii) Declarative Problem Solving, and (iii) Process Mining. In particular, I focus on solving problems from Declarative Process Mining - where process models are temporal logic formulae - using declarative approaches like Satisfiability testing (SAT), Answer Set Programming (ASP), and Automated Planning (AP). My main result is the proposal of a new technique for Temporal Reasoning in ASP, based on exploiting the automata representation of the formulae, and that finds application to many Process Mining problems.
Date
Feb 7, 2023
Event
AAAI 2023 Bridge Program on Artificial Intelligence and Business Process Management
Location
Washington DC, USA
