2 papers
cs.AI2025
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
Luca Salvatore Lorello, Nikolaos Manginas, Marco Lippi +1
Neuro-symbolic artificial intelligence aims to combine neural architectures with symbolic approaches that can represent knowledge in a human-interpretable formalism. Continual lear…
cs.AI2025
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
Luca Salvatore Lorello, Marco Lippi, Stefano Melacci
One of the goals of neuro-symbolic artificial intelligence is to exploit background knowledge to improve the performance of learning tasks. However, most of the existing frameworks…