145 citations · 360 across the 54 of their papers we have counts for
57 papers
On the Hybrid Nature of ABPMS Process Frames and its Implications on Automated Process Discovery
Anti Alman, Izack Cohen, Avigdor Gal +2
A core component of any AI-Augmented Business Process Management System (ABPMS) is the process frame, which gives the system process-awareness and defines its maximal behavioral bo…
Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
Ivan Donadello, Paolo Felli, Craig Innes +2
Traditional conformance checking tasks assume that event data provide a faithful and complete representation of the actual process executions. This assumption has been recently que…
Object-Centric Conformance Alignments with Synchronization (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
Real-world processes operate on objects that are inter-dependent. To accurately reflect the nature of such processes, object-centric process mining techniques are needed, notably c…
Advancements and Challenges in Object-Centric Process Mining: A Systematic Literature Review
Alessandro Berti, Marco Montali, Wil M. P. van der Aalst
Recent years have seen the emergence of object-centric process mining techniques. Born as a response to the limitations of traditional process mining in analyzing event data from p…
Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata (Extended Version)
Alessandro Gianola, Marco Montali, Sarah Winkler
The need to model and analyse dynamic systems operating over complex data is ubiquitous in AI and neighboring areas, in particular business process management. Analysing such data-…
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
Alessandro Burigana, Paolo Felli, Marco Montali +1
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led to a widely adopted action formalism that can handle nondeterminism, partial observability and arbitrary kn…