Talks

We present a novel approach to learning Linear Temporal Logic (LTL) formulae from event logs by leveraging statistical techniques from …

We present a new approach for solving temporal problems using Answer Set Programming (ASP), which exploits the automata representation …

This tutorial introduces declarative problem solving using Answer Set Programming (ASP) and the clingo ASP system. Participants will …

Within the process mining field, Deterministic Finite State Automata (DFAs) are largely employed as foundation mechanisms to perform …

We propose a new approach for solving temporal problems with Answer Set Programming that exploit the automata representation of LTLf …

My research is at the intersection of three areas: (i) Temporal Logics, (ii) Declarative Problem Solving, and (iii) Process Mining. In …

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining …

We put forward Answer Set Programming (ASP) as a solution approach for three classical problems in Declarative Process Mining: Log …

We put forward Answer Set Programming (ASP) as a solution approach for three classical problems in Declarative Process Mining: Log …