A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

Lorello, Luca Salvatore; Lippi, Marco; Melacci, Stefano

doi:10.24963/ijcai.2025/649

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge

Luca Salvatore Lorello, Marco Lippi, Stefano Melacci

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 5833-5841.

https://doi.org/10.24963/ijcai.2025/649

Keywords

Knowledge Representation and Reasoning: KRR: Learning and reasoning
Machine Learning: ML: Neuro-symbolic methods/Abductive Learning

Abstract

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 focus on the simplified scenario where knowledge does not change over time and does not cover the temporal dimension. In this work we consider the much more challenging problem of knowledge-driven sequence classification where different portions of knowledge must be employed at different timesteps, and temporal relations are available. Our extensive experimental evaluation compares multi-stage neuro-symbolic and neural-only architectures, and it is conducted on a newly-introduced benchmarking framework. Results not only demonstrate the challenging nature of this novel setting, but also highlight under-explored shortcomings of neuro-symbolic methods, representing a precious reference for future research.

Luca Salvatore Lorello, Marco Lippi, and Stefano Melacci. 2025. A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 5833–5841. https://doi.org/10.24963/ijcai.2025/649

@inproceedings{ijcai2025p649,
  title     = {A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge},
  author    = {Lorello, Luca Salvatore and Lippi, Marco and Melacci, Stefano},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {5833--5841},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/649},
  url       = {https://doi.org/10.24963/ijcai.2025/649},
}

TY  - CPAPER
TI  - A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
AU  - Lorello, Luca Salvatore
AU  - Lippi, Marco
AU  - Melacci, Stefano
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 5833
EP  - 5841
DO  - 10.24963/ijcai.2025/649
UR  - https://doi.org/10.24963/ijcai.2025/649
ER  -