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…