6 citations · 19 across the 8 of their papers we have counts for
9 papers
First-Order Temporal Logic Tensor Networks
Luca Boscarato, Ivan Donadello, Alessandro Artale +2
Most of the existing neuro-symbolic AI methods focus on the scenario of static knowledge where objects do not change according to a temporal dimension. Temporal neuro-symbolic work…
Neuro-Symbolic Predictive Process Monitoring
Axel Mezini, Elena Umili, Ivan Donadello +3
This paper addresses the problem of suffix prediction in Business Process Management (BPM) by proposing a Neuro-Symbolic Predictive Process Monitoring (PPM) approach that integrate…
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…
Guiding the generation of counterfactual explanations through temporal background knowledge for Predictive Process Monitoring
Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini +2
Counterfactual explanations suggest what should be different in the input instance to change the outcome of an AI system. When dealing with counterfactual explanations in the field…
Knowledge-Driven Modulation of Neural Networks with Attention Mechanism for Next Activity Prediction
Ivan Donadello, Jonghyeon Ko, Fabrizio Maria Maggi +3
Predictive Process Monitoring (PPM) aims at leveraging historic process execution data to predict how ongoing executions will continue up to their completion. In recent years, PPM…
Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic Patterns
Ivan Donadello, Chiara Di Francescomarino, Fabrizio Maria Maggi +2
Prescriptive Process Monitoring systems recommend, during the execution of a business process, interventions that, if followed, prevent a negative outcome of the process. Such inte…