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