Logic List Mailing Archive

CfP: LNGAI 2025 – 5th Int’l Workshop on Logics for New-Generation AI, 1–5 Dec 2025, Luxembourg

LNGAI 2025  The Fifth International Workshop on Logics for New-Generation Artificial Intelligence, December 1-5, 2025, Luxembourg: https://www.zlaire.net/lngai2025/index.html
Hosted at LUXLOGAI 2025  Luxembourg Logic for AI Summit: https://icr.uni.lu/luxlogai2025/index.html
Artificial intelligence is rapidly branching into exciting new areasagentic AI, explainable AI, ethical AI, and knowledge-based AI among them. Alongside these developments, researchers are exploring powerful ways of reasoning: from uncovering causes and consequences, to weighing norms and values, to building arguments and making sense of vast knowledge graphs. But in todays open and ever-changing world, reasoning faces tough challenges: how to work with information that is incomplete or uncertain, how to resolve conflicts, and how to explain the results in ways people can truly understand. LNGAI 2025 highlights fresh advances and insights into tackling these challenges.
LNGAI is a series of international workshops on the logical foundations of AI, providing a forum for researchers worldwide to exchange ideas on non-monotonic logics, argumentation, causality, knowledge graphs, reasoning about norms and values, and beyond. Originating from the project Research on Logics for New-Generation Artificial Intelligence (20212025), the series has grown into an annual international forum, supported by ZLAIRE (the Zhejiang UniversityUniversity of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning).

LNGAI 2025 will be held as part of LUXLOGAI 2025, a major summit bringing together leading events on logic and AI in Luxembourg: https://icr.uni.lu/luxlogai2025/index.html.

Topics include, but are not limited to, the following:

  *   Argument mining

  *   Answer set programming

  *   Autonomous agents and multi-agent systems

  *   Causation / Causal inference

  *   Commonsense reasoning

  *   Conditional logics

  *   Connections between machine learning and causal inference

  *   Default logics

  *   Deontic logic

  *   Description logics

  *   Ethical approaches

  *   Explanation in AI and law

  *   Formal and computational argumentation

  *   Graphical causal models / Bayesian networks

  *   Human-agent explanation

  *   Knowledge graphs

  *   Knowledge graph embedding

  *   Connections between foundation models and logic

  *   Neuro-symbolic AI

  *   Legal argumentation

  *   Logics for ethical AI

  *   Logics for explainable AI

  *   Markov logic networks

  *   Non-monotonic logics

  *   Norm- and value-based reasoning

  *   Reasoning about actions and change

  *   Reasoning about knowledge graphs

  *   Subgraph reasoning

  *   Uncertain reasoning

________________________________
Important dates
        Submission: October 5 2025
        Notification: November 4 2025
        Final version: November 25 2025
        Workshop: December 1-4  2025

Submissions and Publication
Types
We invite two types of submissions:

  *   Full papers (up to 16 pages, excluding bibliography) describing original and unpublished work.

  *   Extended abstracts (up to 6 pages, excluding bibliography) of preliminary original work.
Additional supporting material can be included in an appendix.

Format
Submissions must be formatted according to the LaTeX specifications, which can be downloaded from the following link:
https://www.zlaire.net/lngai/download/LNGAI-latex-template.zip
Submissions not complying with these guidelines will be desk-rejected.

Where to Submit
Papers in PDF format should be submitted via EasyChair:
https://easychair.org/conferences/?conf=lngai2025

Acceptance & Presentation at LNGAI 2025
Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition, and relevance to the conference. For each accepted paper, at least one author is expected to register and present the paper at the workshop.

Publication
All accepted papers will be published by College Publications, and extended versions (after peer review) will be published in a special issue on Logics for New-Generation Artificial Intelligence, in the AI Logic corner of the Journal of Logic and Computation.

For questions, please contact liuwen.yu@uni.lu<mailto:liuwen.yu@uni.lu>



Liuwen Yu PhD

https://yuliuwen.github.io/

Postdoctoral Researcher

Department of Computer Science

Faculty of Science, Technology and Medicine

UNIVERSIT DU LUXEMBOURG

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php