paper-conference

A Direct ASP Encoding for Declare
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
Cite
Automata-Based Temporal Reasoning in Answer Set Programming with Application to Process Mining
Francesco Chiariello
Cite
From LTL on Process Traces to Finite-state Automata
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Cite
ASP-Based Declarative Process Mining (Extended Abstract)
F. Chiariello, F.M. Maggi, F. Patrizi
Cite
ASP-Based Declarative Process Mining
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
Cite