
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">CALL FOR PAPERS</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023)</div><div class=""><br class=""></div><div class="">Hangzhou, China</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">ANNOUNCEMENT:</div><div class=""><br class=""></div><div class=""><b class="">- Due to multiple requests, the submission deadline of LNGAI 2023 has been extended to June 3rd (final).</b></div><div class=""><br class=""></div><div class="">- The workshop will be organised in hybrid mode, with all online talks scheduled in the same session or day.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">The Third International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2023) will be held at Zhejiang University, Hangzhou, China, 8th - 9th September 2023. While we encourage physical participation if possible, the workshop will be organized in a hybrid format, with both in-person and virtual participation options available. Participants can give or listen to talks online, enabling a wider range of attendees to join and engage with the community.</div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">List of Topics</div><div class=""><br class=""></div><div class="">Topics include, but are not limited to the following:</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">- Argument mining</div><div class=""><br class=""></div><div class="">- Answer set programming</div><div class=""><br class=""></div><div class="">- Autonomous agents and multi-agent systems</div><div class=""><br class=""></div><div class="">- Causation/Causal inference</div><div class=""><br class=""></div><div class="">- Commonsense reasoning</div><div class=""><br class=""></div><div class="">- Conditional logics</div><div class=""><br class=""></div><div class="">- Connection between machine-learning and causal inference</div><div class=""><br class=""></div><div class="">- Default logics</div><div class=""><br class=""></div><div class="">- Deontic logic</div><div class=""><br class=""></div><div class="">- Description logics</div><div class=""><br class=""></div><div class="">- Ethical approaches</div><div class=""><br class=""></div><div class="">- Explanation in AI and law</div><div class=""><br class=""></div><div class="">- Formal argumentation</div><div class=""><br class=""></div><div class="">- Graphical causal models/Bayesian networks</div><div class=""><br class=""></div><div class="">- Human-agent explanation</div><div class=""><br class=""></div><div class="">- Knowledge graphs</div><div class=""><br class=""></div><div class="">- Knowledge graph embedding</div><div class=""><br class=""></div><div class="">- Connection between Foundation Models and Logic</div><div class=""><br class=""></div><div class="">- Neuro-Symbolic AI</div><div class=""><br class=""></div><div class="">- Legal argumentation</div><div class=""><br class=""></div><div class="">- Logics for ethical AI</div><div class=""><br class=""></div><div class="">- Logics for explainable AI</div><div class=""><br class=""></div><div class="">- Markov logic network</div><div class=""><br class=""></div><div class="">- Nonmonotonic logics</div><div class=""><br class=""></div><div class="">- Norms and value based reasoning</div><div class=""><br class=""></div><div class="">- Reasoning about actions and change</div><div class=""><br class=""></div><div class="">- Reasoning about knowledge graphs</div><div class=""><br class=""></div><div class="">- Subgraph reasoning</div><div class=""><br class=""></div><div class="">- Uncertain reasoning</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— INVITED SPEAKERS —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Dong An, Zhejiang University</div><div class=""><br class=""></div><div class="">Dastani Mehdi, Utrecht University</div><div class=""><br class=""></div><div class="">Leon van der Torre, University of Luxembourg</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Submissions and publication</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— TYPES —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">We invite two types of submissions:</div><div class=""><br class=""></div><div class="">Full papers (within 16 pages excluding bibliography) describing original and unpublished work.</div><div class=""><br class=""></div><div class="">Extended abstracts (within 6 pages excluding bibliography) of preliminary original work.</div><div class=""><br class=""></div><div class="">Additional support material may be included in an appendix, which may be considered or ignored by the program committee.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— FORMAT —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Submissions must be formatted according to the LaTeX specification that can be downloaded by clicking the following link: <a href="https://xixilogic.org/lngai/download/LNGAI-latex-template.zip" class="">https://xixilogic.org/lngai/download/LNGAI-latex-template.zip</a></div><div class=""><br class=""></div><div class="">Submissions not complying with these guidelines will be desk rejected.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— WHERE TO SUBMIT —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Papers in PDF format should be submitted via EasyChair: <a href="https://easychair.org/conferences/?conf=lngai2023" class="">https://easychair.org/conferences/?conf=lngai2023</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— ACCEPTANCE & PRESENTATION AT LNGAI 2023 —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— PUBLICATION —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">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.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Important dates</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Submission: June 3 2023</div><div class=""><br class=""></div><div class="">Notification: July 15 2023</div><div class=""><br class=""></div><div class="">Final version: July 31 2023</div><div class=""><br class=""></div><div class="">Workshop: September 8 - 9 2023</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— PROGRAM COMMITTEE —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Pietro Baroni, University of Brescia</div><div class=""><br class=""></div><div class="">Christoph Benzmüller, Otto-Friedrich-Universität Bamberg</div><div class=""><br class=""></div><div class="">Alexander Bochman, Holon Institute of Technology</div><div class=""><br class=""></div><div class="">Giuseppe Contissa, University of Bologna</div><div class=""><br class=""></div><div class="">Huimin Dong, Sun Yat-Sen University</div><div class=""><br class=""></div><div class="">Réka Markovich, University of Luxembourg</div><div class=""><br class=""></div><div class="">Valeria de Paiva, Topos Institute</div><div class=""><br class=""></div><div class="">Olivier Roy, Universität Bayreuth</div><div class=""><br class=""></div><div class="">Guillermo Simari, Universidad del Sur in Bahia Blanca</div><div class=""><br class=""></div><div class="">Leon van der Torre, University of Luxembourg</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">— PROGRAM CHAIRS —</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Bruno Bentzen, Zhejiang University</div><div class=""><br class=""></div><div class="">Beishui Liao, Zhejiang University</div><div class=""><br class=""></div><div class="">Davide Liga, University of Luxembourg</div><div class=""><br class=""></div><div class="">Bin Wei, Zhejiang University</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">If you have any questions please contact the PC chairs.</div></body></html>