The Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023) will be held at Zhejiang University, Hangzhou, China, 8-9 September 2023. It is associated with a national key project called “Research on Logics for New Generation Artificial Intelligence” (2021-2025), supported by the National Social Science Foundation of China. The main objectives of this project are to develop 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.

This workshop is a satellite event of ZJULogAI2023 taking place at Zhejiang University from 8th - 12th September 2023.

LNGAI 2023 is supported by the National Social Science Fund of China, the Shen Shanhong Fund of Zhejiang University Education Foundation, and the cross innovation program for outstanding graduate students in the Key Laboratory of Philosophy and Social Sciences.


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

Sponsors and Funders

lngai