Cover Image

Process discovery on deviant traces and other stranger things

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chesani, Federico, Di Francescomarino, Chiara, Ghidini, Chiara, Loreti, Daniela, Maggi, Fabrizio Maria, Mello, Paola, Montali, Marco, Tessaris, Sergio
Format:	Preprint
Published:	2021
Subjects:	Machine Learning Computation and Language Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Solving reachability problems on data-aware workflows
by: De Masellis, Riccardo, et al.
Published: (2019)

Abducing Compliance of Incomplete Event Logs
by: Chesani, Federico, et al.
Published: (2016)

Computing unsatisfiable cores for LTLf specifications
by: Roveri, Marco, et al.
Published: (2022)

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

Predictive Monitoring of Business Processes
by: Maggi, Fabrizio Maria, et al.
Published: (2013)

Predictive Process Monitoring Methods: Which One Suits Me Best?
by: Di Francescomarino, Chiara, et al.
Published: (2018)

Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring
by: Buliga, Andrei, et al.
Published: (2024)

A Spatial Logic for Simplicial Models
by: Loreti, Michele, et al.
Published: (2021)

Generating Counterfactual Explanations Under Temporal Constraints
by: Buliga, Andrei, et al.
Published: (2025)

Executing Discrete/Continuous Declarative Process Specifications via Complex Event Processing
by: Schönig, Stefan, et al.
Published: (2025)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
by: Stevens, Lukas, et al.
Published: (2025)

A framework to measure the robustness of programs in the unpredictable environment
by: Castiglioni, Valentina, et al.
Published: (2021)

What is a Process Model Composed of? A Systematic Literature Review of Meta-Models in BPM
by: Adamo, Greta, et al.
Published: (2020)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Explainable Predictive Process Monitoring: A User Evaluation
by: Rizzi, Williams, et al.
Published: (2022)

From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
by: Barbaro, Luca, et al.
Published: (2025)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
by: Seidel, Anjo, et al.
Published: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

On Propositional Dynamic Logic and Concurrency
by: Acclavio, Matteo, et al.
Published: (2024)

Being polite is not enough (and other limits of theory combination)
by: Toledo, Guilherme V., et al.
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Bernardo, Marco, et al.
Published: (2022)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
by: Montesi, Fabrizio, et al.
Published: (2026)

MARS: A neurosymbolic approach for interpretable drug discovery
by: DeLong, Lauren Nicole, et al.
Published: (2024)

On Kleisli liftings and decorated trace semantics
by: Luckhardt, Daniel, et al.
Published: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Naturality for higher-dimensional path types
by: Benjamin, Thibaut, et al.
Published: (2025)

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

homotopy.io: a proof assistant for finitely-presented globular $n$-categories
by: Corbyn, Nathan, et al.
Published: (2024)

Towards a Semantic Characterisation of Global Type Well-formedness
by: Castellani, Ilaria, et al.
Published: (2024)

Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
by: Breuvart, Flavien, et al.
Published: (2024)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
by: Henson, Christopher, et al.
Published: (2026)

Reflections on Russell's antinomy
by: Cattabriga, Paola
Published: (2024)