Call for Papers The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence LNGAI 2026
Workshop at COMMA 2026, Barcelona, Spain, 17 September 2026 Website: https://www.zlaire.net/lngai2026/ The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026) focuses on the interaction between symbolic and sub-symbolic forms of argumentation reasoning in agentic AI systems. On the one hand, it studies how sub-symbolic models, such as neural and large language models, can generate, approximate, or support argumentation. On the other hand, it examines how formal and computational argumentation can be used to analyse, guide, constrain, and verify reasoning produced by learning-based models and agents. Particular attention is given to hybrid and neuro-symbolic approaches, in which symbolic and sub-symbolic components are combined to support reliable, interpretable, and verifiable reasoning in agentic AI systems. The workshop also welcomes contributions that explore how such integrations can be applied in domains such as machine ethics, explainable AI (XAI), and AI & Law. Submission format We invite two types of submissions: * Full papers (within 16 pages excluding bibliography) describing original and unpublished work. * Extended abstracts (within 6 pages excluding bibliography) of preliminary original work. Submissions should be original, not simultaneously submitted elsewhere, and prepared according to the workshop submission guidelines. Accepted papers will be presented at the workshop as part of the technical program. Publication All accepted papers will be published with College Publications. Important dates Submission deadline: 6 July 2026 Notification: 6 August 2026 Final version: 26 August 2026 Workshop: 17 September 2026 Topics of interest include, but are not limited to: * LLM-assisted generation of logical representations, arguments, and reasoning structures * Logical and argumentation-based analysis of reasoning generated by language models * Computational argumentation for guiding, constraining, and explaining language-model-based systems * Hybrid and neuro-symbolic architectures combining language models with symbolic reasoning * Neuro-symbolic knowledge representation and reasoning methods for language models * Knowledge injection into, and extraction from, language models * Commonsense reasoning integrating language models with knowledge representation and reasoning * Argumentation, deliberation, negotiation, and dialogical reasoning with language-model-based agents * Reasoning about agency, autonomy, and learning in systems built with language models * Planning, action, and decision-making in agentic systems and workflows * Logical and computational models of generative agents * Cooperation, coordination, and communication in multi-agent systems involving generative agents * Logic-based verification, safety, and controllability of language-model-based and agentic systems * Logics for reasoning about knowledge, beliefs, goals, intentions, actions, and plans * Non-monotonic, defeasible, and uncertain reasoning in language-model-based and agent-based systems * Verification and formal analysis of agents and multi-agent systems * Argumentation-based explanation and interpretable reasoning * Normative reasoning and applications in machine ethics and AI & Law Organizers Beishui Liao, Zhejiang University, China Nico Potyka, Cardiff University, United Kingdom Leon van der Torre, University of Luxembourg, Luxembourg Liuwen Yu, Luxembourg Institute of Science and Technology, Luxembourg
