The Fifth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2025) will be held at the University of Luxembourg, Luxembourg, 1st-5th 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), which plays a key role in bridging academic exchange and strategic AI research collaboration.
Accepted Papers
| Index | Authors | Title |
|---|---|---|
| 1 | Zhiguang Zhao | Hybrid Tense Logic of the Real Line |
| 2 | Andrew Lewis-Smith and Zhiguang Zhao | Kripke Semantics for MTL |
| 3 | Shuwen Wu | The Identity Rule Reconsidered: from Logic Programming to Formal Theories of Truth |
| 4 | Yuxin Sun and Yuping Shen | Loop Formulas for Two-valued Logic Programs |
| 5 | Julian Alfredo Mendez and Timotheus Kampik | Specification, Application, and Operationalization of a Metamodel of Fairness |
| 6 | Sheng Wei and Beishui Liao | A²C: An Adaptive Argumentation-based Classifier for Robust Ensemble Learning |
| 7 | Muyun Shao, Siyi Liu and Beishui Liao | A Causal Approach to Contrastive Explanation in Abstract Argumentation |
| 8 | Krzysztof Pancerz, Piotr Kulicki, Michał Kalisz, Andrzej Burda, Maciej Stanisławski and Jaromir Sarzyński | Readable Twins of Unreadable Models |
| 9 | Andrea De Domenico, Ali Farjami, Krishna Balajirao Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis and Xiaolong Wang | Normative implications |
| 10 | Aditya Kar, Emiliano Lorini and Timothee Masquelier | Binary Spiking Neural Networks as Causal Models |
| 11 | Lifei Wang, Zhe Yu and Zhe Lin | The Algebraic Semantics and Proof Theory of Intuitionistic Epistemic Logic |
| 12 | Yini Huang and Beishui Liao | Classifying Impact of Arguments in the Jiminy Advisor Framework |
| 13 | Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Chen Chen and Leendert van der Torre | A Principle-Based Robustness Analysis of Labeling-Based Bipolar Argumentation Semantics |
| 14 | Liuwen Yu, Leendert van der Torre, Réka Markovich, Beishui Liao and Chenyang Cai | DiSCo-RAD: Reasoning Alignment for Judicial Discretion |
| 15 | Stipe Pandzic | Toward reasoning and learning in first-order justification logic |
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 | |