paper-conference

Learning Temporal Properties from Event Logs via Sequential Analysis
In this work, we present a novel approach to learning Linear Temporal Logic (LTL) formulae from event logs by leveraging statistical …
Francesco Chiariello
PDF Cite
An ILASP-Based Approach to Repair Petri Nets
Petri nets are a class of models of computation used to compactly represent discrete event systems. Among many application domains, …
Francesco Chiariello, Antonio Ielo, Alice Tarzariol
PDF Cite
A Direct ASP Encoding for Declare
Answer Set Programming (ASP), a well-known declarative programming paradigm, has recently found practical application in Process …
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
PDF Cite Video
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining
We present a new approach for solving temporal problems using Answer Set Programming (ASP), which exploits the automata representation …
Francesco Chiariello
PDF Cite
From LTL on Process Traces to Finite-state Automata
Linear Temporal Logic on process traces (or LTLp) is a logic introduced to specify and reason over the temporal properties of (the …
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
PDF Cite
ASP-Based Declarative Process Mining (Extended Abstract)
We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining …
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
PDF Cite
ASP-Based Declarative Process Mining
We put forward Answer Set Programming (ASP) as a solution approach for three classical problems in Declarative Process Mining: Log …
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
PDF Cite