1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
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…
The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
Luca Salvatore Lorello, Marco Lippi, Stefano Melacci
Artificial intelligence is continuously seeking novel challenges and benchmarks to effectively measure performance and to advance the state-of-the-art. In this paper we introduce K…
No More Trade-Offs. GPT and Fully Informative Privacy Policies
Przemysław Pałka, Marco Lippi, Francesca Lagioia +2
The paper reports the results of an experiment aimed at testing to what extent ChatGPT 3.5 and 4 is able to answer questions regarding privacy policies designed in the new format t…