Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)
Are you passionate about advancing the intersection of logic, language models, and AI reasoning? We invite you to submit an article to our Research Topic: Integrating Logical Reasoning & Large Language Models (LLMs).
Learn more and submit your manuscript here https://fro.ntiers.in/LogicLLM
We welcome articles that explore, but are not limited to:
Integration of reasoning systems into LLMs
Verification of LLM output and reducing hallucinations
Logic-based approaches for knowledge injection
LLM-guided logical reasoning and rule extraction
Counterfactual reasoning with LLMs
Novel case studies and applications of LLM and logic
Foundations and future directions in Neuro-Symbolic AI
Keywords: Logic, Large Language Models, Verification, Reasoning Systems, Neuro-Symbolic AI
Topic Editors:
Fabrizio Riguzzi, University of Ferrara
Simona Perri, University of Calabria
Riccardo Zese, University of Ferrara
Damiano Azzolini, University of Ferrara
Timeline:
Manuscript Summary Submission Deadline: 2 September 2025
Full Manuscript Submission Deadline: 19 January 2026