Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems

Tracking #: 927-1949

Flag : Review Assignment Stage

Authors: 

Aurelien VANNIEUWENHUYZE
Nada MIMOUNI
Cédric DU MOUZA

Responsible editor: 

Artur Garcez

Submission Type: 

Survey

Full PDF Version: 

Supplementary Files: 

Cover Letter: 

Dear Editor-in-Chief, Please find enclosed our manuscript entitled “Temporal Neuro-Symbolic Reasoning: from architectures to verifiable and auditable systems”, which we submit for consideration in the journal Neurosymbolic Artificial Intelligence. This article provides a comprehensive survey of neuro-symbolic approaches to temporal reasoning, with a structured analysis of integration paradigms, logical formalisms, evaluation methodologies, and reliability guarantees. We believe that the manuscript fits well within the scope of the journal and will be of interest to researchers working on neuro-symbolic reasoning, temporal logic, and trustworthy AI. This manuscript is original, has not been published previously, and is not under consideration for publication elsewhere. We have no conflicts of interest to declare. Thank you for your consideration. Sincerely, Aurélien Vannieuwwenhuyze

Tags: 

  • Under Review