The Fifth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025) will be held at the University of Luxembourg, Luxembourg, in December, 2025.

The workshop is associated with the project called “Research on Logics for New Generation Artificial Intelligence” (2021-2025), led by Zhejiang University, the home to Deepseek. The project is supported by the National Social Science Foundation of China. The main objectives of this project are to develop the foundations of AI, for example theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment.

Along with the project, we organize annual international workshops that aim at enabling efficient communication and collaboration between members of the project as well as other researchers who are interested in the topics of this project. In particular, the workshop is supported by ZLAIRE (the Zhejiang University–University of Luxembourg Joint Lab on Advanced Intelligent Systems and REasoning), aiming to bridge academic exchange and strategic AI research collaboration.

Submission Guidelines

All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:

• Full papers within 16 pages excluding bibliography
• Posters within 6 pages excluding bibliography

Additional support material may be included in an appendix, which may be considered or ignored by the program committee.

List of Topics

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
• Connection between machine-learning and causal inference
• Default logics
• Deontic logic
• Description logics
• Ethical approaches
• Explanation in AI and law
• Formal argumentation
• Graphical causal models/Bayesian networks
• Human-agent explanation
• Knowledge graphs
• Knowledge graph embedding
• Connection between Foundation Models and Logic
• Neuro-Symbolic AI
• Legal argumentation
• Logics for ethical AI
• Logics for explainable AI
• Markov logic network
• Nonmonotonic logics
• Norms and value based reasoning
• Reasoning about actions and change
• Reasoning about knowledge graphs
• Subgraph reasoning
• Uncertain reasoning

Committees

Program Committee

• Pietro Baroni, University of Brescia
• Christoph Benzmüller, Otto-Friedrich-Universität Bamberg
• Alexander Bochman, Holon Institute of Technology
• Giuseppe Contissa, University of Bologna
• Huimin Dong, Sun Yat-Sen University
• Réka Markovich, University of Luxembourg
• Valeria de Paiva, Topos Institute
• Olivier Roy, Universität Bayreuth
• Guillermo Simari, Universidad del Sur in Bahia Blanca
• Leon van der Torre, University of Luxembourg
• To be added

Organizing committee

• Liuwen Yu(the University of Luxembourg)

• Beishui Liao(Zhejiang University)

• Antonino Rotolo(the University of Bologna)

• Leendert van der Torre(the University of Luxembourg)

Publication

All accepted papers will be published with College Publications, and extended versions (after peer review) will be published in a special Issue on Logics for New Generation Artificial Intelligence, ‘AI Logic’ corner, Journal of Logic and Computation.

Venue

The conference will be held in the University of Luxembourg

Contact

All questions about submissions should be emailed to liuwen.yu@uni.lu.