Call for Papers: Integrating Logical Reasoning & Large Language Models (LLMs)

[Fabrizio Riguzzi]

🚀 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