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

Tracking #: 982-2014

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 Editors, Please find enclosed the revised version of our manuscript entitled: "Temporal Neuro-Symbolic Reasoning: From Architectures to Verifiable and Auditable Systems" (#927-1949) We would like to thank the reviewers and editors for their detailed and constructive feedback. The manuscript has been substantially revised following the review process. The revision notably strengthens the historical grounding of temporal neuro-symbolic reasoning through the integration of foundational recurrent neural-symbolic temporal architectures developed between 2003 and 2014. The revised manuscript now more explicitly positions contemporary differentiable and foundation-model-based approaches within the broader historical evolution of the field. Several sections were also expanded and reorganized in order to: - strengthen the coverage of temporal reasoning formalisms and constraint-based reasoning; - clarify the relationships between interpretability, evaluation, verification, and governance; - improve the discussion of robustness and trajectory-level temporal coherence; - revise the roadmap in order to better distinguish historically demonstrated capabilities from current scalability and control challenges. The methodological discussion surrounding the PRISMA protocol was also revised to address potential historical and terminological biases in the literature selection process. In addition, the manuscript now includes revised synthesis tables, new historical positioning elements, and expanded appendices aimed at improving the conceptual organization and historical continuity of the survey. A detailed point-by-point response to the reviewers’ comments is provided in the accompanying rebuttal document. We hope that the revised version satisfactorily addresses the reviewers’ concerns and will now be suitable for publication. Sincerely, Aurélien Vannieuwenhuyze, Nada Mimouni, and Cedric Du Mouza

Previous Version: 

Tags: 

  • Under Review