Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
Time to Reason: Scalable Neurosymbolic Learning for LTLf via Fuzzy Semantics
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele +4
Neurosymbolic (NeSy) Artificial Intelligence aims to integrate Deep Learning (DL) architectures with symbolic reasoning. While initial NeSy approaches have targeted mainly symbolic…
cs.AI2025
T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni, Andrei Buliga, Alessandro Daniele +3
State-of-the-art approaches for integrating symbolic knowledge with deep learning architectures have demonstrated promising results in static domains. However, methods to handle te…
cs.AI2025
Generating Counterfactual Explanations Under Temporal Constraints
Andrei Buliga, Chiara Di Francescomarino, Chiara Ghidini +2
Counterfactual explanations are one of the prominent eXplainable Artificial Intelligence (XAI) techniques, and suggest changes to input data that could alter predictions, leading t…