Home

Published

- 2 min read

LTLZinc: Benchmarking for Continual Learning and NeSy Temporal Reasoning

NeSy
img of LTLZinc: Benchmarking for Continual Learning and NeSy Temporal Reasoning

Report

Details

  • Authors: Luca Salvatore Lorello, Nikolaos Manginas, Marco Lippi, Stefano Melacci
  • Title: LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
  • Where: ArXiv Preprint

BibTeX

   @article{DBLP:journals/corr/abs-2507-17482,
  author       = {Luca Salvatore Lorello and
                  Nikolaos Manginas and
                  Marco Lippi and
                  Stefano Melacci},
  title        = {LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic
                  Temporal Reasoning},
  journal      = {CoRR},
  volume       = {abs/2507.17482},
  year         = {2025},
  url          = {https://doi.org/10.48550/arXiv.2507.17482},
  doi          = {10.48550/ARXIV.2507.17482}
}