Call for Papers

Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024) Hangzhou, China 

https://www.zlaire.net/lngai2024/

The Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024) will be held at Zhejiang University, Hangzhou, China, 15th - 16th June 2024. The workshop 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.

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
• Argumentation for explainable AI
• Markov logic networks
• Nonmonotonic logics
• Uncertain reasoning 
• Norms and value based reasoning
• Reasoning about actions and change
• Reasoning about knowledge graphs
• Graph machine learning

Invited Speakers

• Prof. Jan Broersen (Utrecht University)
• Prof. Mehdi Dastani (Utrecht University)
• Prof. Jun Pang (University of Luxembourg)
• Prof. Marija Slavkovik (University of Bergen)
• Prof. Leendert van der Torre (University of Luxembourg)
• Prof. Yisong Wang (Guizhou University)

Important dates **extended deadlines**

• Submission: March 31st 2024 (March 1st 2024)
• Notification: May 15th 2024 (April 15th 2024)
• Final version: June 1st 2024 (May 1st 2024)
• Workshop: June 15th - 16th 2024

Program Chairs

• Beishui Liao (Zhejiang University, China)
• Jun Pang (University of Luxembourg, Luxembourg)
• Tjitze Rienstra (Maastricht University, Netherlands)

Submissions and publication

Types:We invite two types of submissions: Full papers (within 12 pages excluding bibliography) describing original and unpublished work. Extended abstracts (within 4 pages excluding bibliography) of preliminary original work. Additional support material may be included in an appendix, which may be considered or ignored by the program committee.

Format:Submissions must be formatted according to the LaTeX specification that can be downloaded by clicking the following link: https://www.zlaire.net/lngai/download/LNGAI-latex-template.zipSubmissions 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=lngai2024

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

Publication:Accepted papers will be published with College Publications. Extended versions (after peer review) of selected contributions to LNGAI 2023 will be published in a special Issue on Logics for New Generation Artificial Intelligence, ‘AI Logic’ corner, Journal of Logic and Computation.

Program Committee

• Valeria de Paiva (Samsung Research America and University of Birmingham)
• Zhe Yu (Sun Yat-sen University)
• Weiwei Chen (Sun Yat-sen University)
• Tiansi Dong (Bonn-Aachen International Center for Information Technology)
• Christoph Benzmüller (Otto-Friedrich-Universität Bamberg)
• Mehdi Dastani (Utrecht University)
• Guillermo R. Simari (Universidad del Sur in Bahia Blanca)
• Matthias Thimm (FernUniversität Hagen)
• Jinsheng Chen (Sun Yat-Sen University)
• Kaibo Xie (University of Amsterdam)
• Pietro Baroni (University of Brescia)
• Bruno Bentzen (Zhejiang University)
• Huimin Dong (University of Luxembourg)
• Emil Weydert (University of Luxembourg)