3 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
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…