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

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

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 :backhand_index_pointing_right:https://fro.ntiers.in/LogicLLM

:light_bulb: 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

:busts_in_silhouette: Topic Editors:

Fabrizio Riguzzi, University of Ferrara

Simona Perri, University of Calabria

Riccardo Zese, University of Ferrara

Damiano Azzolini, University of Ferrara

:spiral_calendar: Timeline:

Manuscript Summary Submission Deadline: 2 September 2025

Full Manuscript Submission Deadline: 19 January 2026

2 Likes