[DL] [CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026)

[Nico Potyka]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20260325/25b60357/attachment.htm>