article-journal

Direct Encoding of Declare Constraints in ASP
Answer set programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process …
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
PDF Cite
Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis
Within the process mining field, Deterministic Finite State Automata (DFAs) are largely employed as foundation mechanisms to perform …
Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
PDF Cite
A tool for compiling Declarative Process Mining problems in ASP
We present a tool for compiling three problems from the Process Mining community into Answer Set Programming: Log Generation, …
Francesco Chiariello, Fabrizio Maria Maggi, Fabio Patrizi
PDF Cite