<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=windows-1250">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<b>LNGAI 2025 – The Fifth International Workshop on Logics for New-Generation Artificial Intelligence, December 1-5, 2025, Luxembourg:
<a style="margin: 0px;" data-linkindex="0" data-auth="NotApplicable" rel="noopener noreferrer" title="原始 URL: https://www.zlaire.net/lngai2025/index.html。如果你信任此链接, 请单击或点击。" class="OWAAutoLink" id="OWAd200041b-ce16-2b2c-1b43-a1ea4b842a28" target="_blank" href="https://www.zlaire.net/lngai2025/index.html">
https://www.zlaire.net/lngai2025/index.html</a></b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<b>Hosted at LUXLOGAI 2025</b><span style="background-color: white;"><b> </b></span><b>– Luxembourg Logic for AI Summit:
<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="1" rel="noopener noreferrer" title="https://icr.uni.lu/luxlogai2025/index.html" class="OWAAutoLink" id="OWA1f5fca34-98b7-bab4-bae9-5f6fc9c32bf9" target="_blank" href="https://icr.uni.lu/luxlogai2025/index.html">
https://icr.uni.lu/luxlogai2025/index.html</a></b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
Artificial intelligence is rapidly branching into exciting new areas—agentic AI, explainable AI, ethical AI, and knowledge-based AI among them. Alongside these developments, researchers are exploring powerful ways of reasoning: from uncovering causes and consequences,
to weighing norms and values, to building arguments and making sense of vast knowledge graphs. But in today’s open and ever-changing world, reasoning faces tough challenges: how to work with information that is incomplete or uncertain, how to resolve conflicts,
and how to explain the results in ways people can truly understand. LNGAI 2025 highlights fresh advances and insights into tackling these challenges.</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
LNGAI is a series of international workshops on the logical foundations of AI, providing a forum for researchers worldwide to exchange ideas on non-monotonic logics, argumentation, causality, knowledge graphs, reasoning about norms and values, and beyond. Originating
from the project <i>Research on Logics for New-Generation Artificial Intelligence</i> (2021–2025), the series has grown into an annual international forum, supported by ZLAIRE (the Zhejiang University–University of Luxembourg Joint Lab on Advanced Intelligent
Systems and REasoning). </div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
LNGAI 2025 will be held as part of <b>LUXLOGAI 2025</b>, a major summit bringing together leading events on logic and AI in Luxembourg:
<a style="margin: 0px;" data-auth="NotApplicable" data-linkindex="2" rel="noopener noreferrer" title="https://icr.uni.lu/luxlogai2025/index.html" class="OWAAutoLink" id="OWAaac223e8-9ff7-a600-e2d9-b0ec2e9ca889" target="_blank" href="https://icr.uni.lu/luxlogai2025/index.html">
https://icr.uni.lu/luxlogai2025/index.html</a>.</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b>Topics include, but are not limited to, the following:</b></div>
<ul style="direction: ltr; text-align: left; margin-top: 0px; margin-bottom: 0px; list-style-position: initial; list-style-type: disc; background-color: white;" data-editing-info="{"applyListStyleFromLevel":true}">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Argument mining</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Answer set programming</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Autonomous agents and multi-agent systems</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Causation / Causal inference</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Commonsense reasoning</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Conditional logics</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Connections between machine learning and causal inference</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Default logics</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Deontic logic</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Description logics</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Ethical approaches</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Explanation in AI and law</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Formal and computational argumentation</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Graphical causal models / Bayesian networks</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Human-agent explanation</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Knowledge graphs</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Knowledge graph embedding</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Connections between foundation models and logic</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Neuro-symbolic AI</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Legal argumentation</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Logics for ethical AI</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Logics for explainable AI</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Markov logic networks</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Non-monotonic logics</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Norm- and value-based reasoning</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Reasoning about actions and change</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Reasoning about knowledge graphs</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Subgraph reasoning</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation">Uncertain reasoning</div>
</li></ul>
<hr style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin-right: 0px; margin-left: 0px; width: 465.94px;">
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b>Important dates</b></div>
<ul style="direction: ltr; text-align: left; margin: 0px 0px 0px 3em; padding-left: 0px; list-style-position: initial; list-style-type: initial; background-color: white;">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 300; color: black; margin: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation"><b>Submission:</b> October 5 2025</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 300; color: black; direction: ltr; margin: 0px;">
<b>Notification:</b> November 4 2025</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 300; color: black; direction: ltr; margin: 0px;">
<b>Final version:</b> November 25 2025</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; font-weight: 300; color: black; margin: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation"><b>Workshop:</b> December 1-4 2025</div>
</li></ul>
<div style="direction: ltr; text-align: left; text-indent: 0px; background-color: white; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b><br>
</b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b>Submissions and Publication</b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<b>Types</b><br>
We invite two types of submissions:</div>
<ul style="direction: ltr; text-align: left; margin-top: 0px; margin-bottom: 0px; list-style-position: initial; list-style-type: disc; background-color: white;" data-editing-info="{"applyListStyleFromLevel":true}">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation"><b>Full papers</b> (up to 16 pages, excluding bibliography) describing original and unpublished work.</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: black; margin-right: 0px; margin-left: 0px;">
<div style="direction: ltr; margin: 0px;" role="presentation"><b>Extended abstracts</b> (up to 6 pages, excluding bibliography) of preliminary original work.</div>
</li></ul>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
Additional supporting material can be included in an appendix.</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b>Format</b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt;" class="elementToProof">
<span style="color: black;">Submissions must be formatted according to the LaTeX specifications, which can be downloaded from the following link:<br>
</span><span style="color: rgb(102, 153, 204);"><u><a style="color: rgb(102, 153, 204); margin: 0px;" data-linkindex="3" data-auth="NotApplicable" rel="noopener noreferrer" title="原始 URL: https://www.zlaire.net/lngai/download/LNGAI-latex-template.zip。如果你信任此链接, 请单击或点击。" class="OWAAutoLink" id="OWAf4915a9d-9c64-684c-73ea-acff9785fa78" target="_blank" href="https://www.zlaire.net/lngai/download/LNGAI-latex-template.zip">https://www.zlaire.net/lngai/download/LNGAI-latex-template.zip</a></u></span><span style="color: black;"><br>
Submissions not complying with these guidelines will be desk-rejected.</span></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; color: black;" class="elementToProof">
<span style="font-size: 14pt;"><b>Where to Submit</b></span><span style="font-size: 12pt;"><br>
Papers in PDF format should be submitted via EasyChair:</span></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: blue;" class="elementToProof">
<u><a style="margin: 0px;" data-linkindex="4" data-auth="NotApplicable" rel="noopener noreferrer" title="原始 URL: https://easychair.org/conferences/?conf=lngai2025。如果你信任此链接, 请单击或点击。" class="OWAAutoLink" id="OWAe49b76df-6217-071d-a6ea-db29012b13bb" target="_blank" href="https://easychair.org/conferences/?conf=lngai2025">https://easychair.org/conferences/?conf=lngai2025</a></u></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: blue;" class="elementToProof">
<u><br>
</u></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 14pt; color: black;" class="elementToProof">
<b>Acceptance & Presentation at LNGAI 2025</b></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition, and relevance to the conference. For each accepted paper, at least one author is expected to register and present
the paper at the workshop.</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; line-height: normal; background-color: white; margin: 0px 0px 8pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; color: black;" class="elementToProof">
<span style="font-size: 14pt;"><b>Publication</b></span><span style="font-size: 12pt;"><br>
All accepted papers will be published by College Publications, and extended versions (after peer review) will be published in a special issue on Logics for New-Generation Artificial Intelligence, in the ‘AI Logic’ corner of the
<i>Journal of Logic and Computation</i>.</span></div>
<div style="direction: ltr; text-align: left; text-indent: 0px; background-color: white; margin: 0px; font-family: "Segoe UI", "Segoe UI Web (West European)", -apple-system, "system-ui", Roboto, "Helvetica Neue", sans-serif; font-size: 15px; color: rgb(36, 36, 36);" class="elementToProof">
<br>
</div>
<div style="direction: ltr; text-align: left; text-indent: 0px; background-color: white; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; color: black;" class="elementToProof">
For questions, please contact liuwen.yu@uni.lu</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<div class="elementToProof" id="Signature">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<br>
</div>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(36, 36, 36);">Liuwen Yu PhD</span></p>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(0, 0, 0);"><a style="margin-top: 0px; margin-bottom: 0px;" class="OWAAutoLink" id="OWAd4da2dcc-4bfe-11ef-bf91-d38a303d9ed0" href="https://yuliuwen.github.io/">https://yuliuwen.github.io/</a></span></p>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(36, 36, 36);">Postdoctoral Researcher</span></p>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(36, 36, 36);">Department of Computer Science</span></p>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(36, 36, 36);">Faculty of Science, Technology and Medicine</span></p>
<p style="text-align: left; text-indent: 0px; line-height: normal; background-color: rgb(255, 255, 255); margin: 0px;" class="elementToProof">
<span style="font-family: "Helvetica Neue"; font-size: 13px; color: rgb(36, 36, 36);">UNIVERSITÉ DU LUXEMBOURG</span></p>
<div class="elementToProof"><br>
</div>
</div>
</body>
</html>