<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><b style="color:rgb(0,0,0);font-family:Arial;font-size:12px">Call for Papers</b></div><div dir="ltr"><span style="color:rgb(0,0,0);font-family:Arial;font-size:12px">Fourth International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2024) Hangzhou, China </span></div><div dir="ltr"><a href="https://www.zlaire.net/lngai2024/" target="_blank" style="font-family:Arial;font-size:12px">https://www.zlaire.net/lngai2024/</a></div><div dir="ltr"><br></div><div dir="ltr">
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">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.</span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>List of Topics</b></span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Topics include, but are not limited to the following: </span></p>
<ul>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Argument mining</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Answer set programming</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Autonomous agents and multi-agent systems </span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Causation/Causal inference </span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Commonsense reasoning</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Conditional logics</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Connection between machine-learning and causal inference</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Default logics</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Deontic logic</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Description logics</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Ethical approaches</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Explanation in AI and law</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Formal argumentation</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Graphical causal models/Bayesian networks</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Human-agent explanation</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Knowledge graphs</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Knowledge graph embedding</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Connection between Foundation Models and Logic</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Neuro-Symbolic AI</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Legal argumentation</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Logics for ethical AI</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Logics for explainable AI</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Argumentation for explainable AI</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Markov logic networks</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Nonmonotonic logics</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Uncertain reasoning </span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Norms and value based reasoning</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Reasoning about actions and change</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Reasoning about knowledge graphs</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Graph machine learning</span></li></ul>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>Invited Speakers</b></span></p>
<ul>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Jan Broersen (Utrecht University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Mehdi Dastani (Utrecht University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Jun Pang (Luxembourg University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Marija Slavkovik (University of Bergen)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Leendert van der Torre (Luxembourg University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Helvetica;color:rgb(0,0,0)"><span style="font-kerning:none">Prof. Yisong Wang (Guizhou University)</span></li></ul>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>Important dates **extended deadlines**</b></span></p>
<ul>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Submission: March 31st 2024 (</span><span style="text-decoration:line-through;font-kerning:none">March 1st 2024</span><span style="font-kerning:none">)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Notification: May 15th 2024 (</span><span style="text-decoration:line-through;font-kerning:none">April 15th 2024</span><span style="font-kerning:none">)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Final version: June 1st 2024 (</span><span style="text-decoration:line-through;font-kerning:none">May 1st 2024</span><span style="font-kerning:none">)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Workshop: June 15th - 16th 2024</span></li></ul>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>Program Chairs</b></span></p>
<ul>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Beishui Liao (Zhejiang University, China)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Jun Pang (University of Luxembourg, Luxembourg)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Tjitze Rienstra (Maastricht University, Netherlands)</span></li></ul>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>Submissions and publication</b></span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">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.</span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Format: Submissions must be formatted according to the LaTeX specification that can be downloaded by clicking the following link: <a href="https://www.zlaire.net/lngai/download/LNGAI-latex-template.zipSubmissions" target="_blank">https://www.zlaire.net/lngai/download/LNGAI-latex-template.zipSubmissions</a> not complying with these guidelines will be desk rejected.</span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Where to Submit:Papers in PDF format should be submitted via EasyChair: <a href="https://easychair.org/conferences/?conf=lngai2024" target="_blank">https://easychair.org/conferences/?conf=lngai2024</a></span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">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.</span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">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.</span></p>
<p style="margin:0px 0px 12px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none"><b>Program Committee</b></span></p>
<ul>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Valeria de Paiva (Samsung Research America and University of Birmingham)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Zhe Yu (Sun Yat-sen University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Weiwei Chen (Sun Yat-sen University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Tiansi Dong (Bonn-Aachen International Center for Information Technology)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Christoph Benzmüller (Otto-Friedrich-Universität Bamberg)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Mehdi Dastani (Utrecht University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Guillermo R. Simari (Universidad del Sur in Bahia Blanca)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Matthias Thimm (FernUniversität Hagen)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Jinsheng Chen (Sun Yat-Sen University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Kaibo Xie (University of Amsterdam)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Pietro Baroni (University of Brescia)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Bruno Bentzen (Zhejiang University)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Huimin Dong (University of Luxembourg)</span></li>
<li style="margin:0px;font-stretch:normal;font-size:12px;line-height:normal;font-family:Arial;color:rgb(0,0,0)"><span style="font-kerning:none">Emil Weydert (University of Luxembourg)</span></li>
</ul>
<br></div>
</div></div>