[CfP] The Sixth International Workshop on Logics and Argumentation for New-Generation Artificial Intelligence (LNGAI 2026)
Nico Potyka <[email protected]> Wed, 25 Mar 2026 12:52:20 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CWXP265MB34611637676AF7C8E2F79DACED49A@CWXP265MB3461.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB34611637676AF7C8E2F79DACED49ACWXP265MB3461GBRP_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Call for Papers
The Sixth International Workshop on Logics and Argumentation for New-Genera=
tion Artificial Intelligence
LNGAI 2026
Workshop at COMMA 2026, Barcelona, Spain, 17 September 2026
Website: https://www.zlaire.net/lngai2026/
The Sixth International Workshop on Logics and Argumentation for New-Genera=
tion Artificial Intelligence (LNGAI 2026) focuses on the interaction betwee=
n symbolic and sub-symbolic forms of argumentation reasoning in agentic AI =
systems. On the one hand, it studies how sub-symbolic models, such as neura=
l and large language models, can generate, approximate, or support argument=
ation. On the other hand, it examines how formal and computational argument=
ation can be used to analyse, guide, constrain, and verify reasoning produc=
ed by learning-based models and agents. Particular attention is given to hy=
brid and neuro-symbolic approaches, in which symbolic and sub-symbolic comp=
onents are combined to support reliable, interpretable, and verifiable reas=
oning in agentic AI systems. The workshop also welcomes contributions that =
explore how such integrations can be applied in domains such as machine eth=
ics, explainable AI (XAI), and AI & Law.
Submission format
We invite two types of submissions:
* Full papers (within 16 pages excluding bibliography) describing origi=
nal and unpublished work.
* Extended abstracts (within 6 pages excluding bibliography) of prelimi=
nary original work. Submissions should be original, not simultaneously subm=
itted elsewhere, and prepared according to the workshop submission guidelin=
es. Accepted papers will be presented at the workshop as part of the techni=
cal program.
Publication
All accepted papers will be published with College Publications.
Important dates
Submission deadline: 6 July 2026
Notification: 6 August 2026
Final version: 26 August 2026
Workshop: 17 September 2026
Topics of interest include, but are not limited to:
* LLM-assisted generation of logical representations, arguments, and re=
asoning structures
* Logical and argumentation-based analysis of reasoning generated by la=
nguage models
* Computational argumentation for guiding, constraining, and explaining=
language-model-based systems
* Hybrid and neuro-symbolic architectures combining language models wit=
h symbolic reasoning
* Neuro-symbolic knowledge representation and reasoning methods for lan=
guage models
* Knowledge injection into, and extraction from, language models
* Commonsense reasoning integrating language models with knowledge repr=
esentation and reasoning
* Argumentation, deliberation, negotiation, and dialogical reasoning wi=
th language-model-based agents
* Reasoning about agency, autonomy, and learning in systems built with =
language models
* Planning, action, and decision-making in agentic systems and workflow=
s
* Logical and computational models of generative agents
* Cooperation, coordination, and communication in multi-agent systems i=
nvolving generative agents
* Logic-based verification, safety, and controllability of language-mod=
el-based and agentic systems
* Logics for reasoning about knowledge, beliefs, goals, intentions, act=
ions, and plans
* Non-monotonic, defeasible, and uncertain reasoning in language-model-=
based and agent-based systems
* Verification and formal analysis of agents and multi-agent systems
* Argumentation-based explanation and interpretable reasoning
* Normative reasoning and applications in machine ethics and AI & Law
Organizers
Beishui Liao, Zhejiang University, China
Nico Potyka, Cardiff University, United Kingdom
Leon van der Torre, University of Luxembourg, Luxembourg
Liuwen Yu, Luxembourg Institute of Science and Technology, Luxembourg
--_000_CWXP265MB34611637676AF7C8E2F79DACED49ACWXP265MB3461GBRP_
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr=
osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" xmlns=3D"http:=
//www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"=
>
<meta name=3D"Generator" content=3D"Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:805972803;
mso-list-template-ids:-396050350;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:1252349730;
mso-list-type:hybrid;
mso-list-template-ids:-187372230 134807553 134807555 134807557 134807553 1=
34807555 134807557 134807553 134807555 134807557;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=3D"EN-GB" link=3D"#467886" vlink=3D"#96607D" style=3D"word-wrap:=
break-word">
<div class=3D"WordSection1">
<p class=3D"MsoNormal"><span style=3D"color:black">Call for Papers<o:p></o:=
p></span></p>
<p class=3D"MsoNormal"><span style=3D"color:black"><o:p> </o:p></span>=
</p>
<p class=3D"MsoNormal" style=3D"background:white"><b><span style=3D"color:b=
lack">The Sixth International Workshop on Logics and Argumentation for New-=
Generation Artificial Intelligence</span></b><span style=3D"color:black"><b=
r>
LNGAI 2026<br>
<br>
<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">Workshop at
<b>COMMA 2026</b>, Barcelona, Spain, 17 September 2026<o:p></o:p></span></p=
>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">Website: <a href=3D"https://www.zlaire.net/lngai2026/">
https://www.zlaire.net/lngai2026/</a><o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">The Sixth International Workshop on Logics and Argumentation for New-Gen=
eration Artificial Intelligence (LNGAI 2026) focuses on the interactio=
n between symbolic and sub-symbolic forms of
argumentation reasoning in agentic AI systems. On the one hand, it studies=
how sub-symbolic models, such as neural and large language models, can gen=
erate, approximate, or support argumentation. On the other hand, it examine=
s how formal and computational argumentation
can be used to analyse, guide, constrain, and verify reasoning produced by=
learning-based models and agents. Particular attention is given to hybrid =
and neuro-symbolic approaches, in which symbolic and sub-symbolic component=
s are combined to support reliable,
interpretable, and verifiable reasoning in agentic AI systems. The worksho=
p also welcomes contributions that explore how such integrations can be app=
lied in domains such as machine ethics, explainable AI (XAI), and AI & =
Law.<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><b><u><span style=3D"colo=
r:black">Submission format</span></u></b><span style=3D"color:black"><o:p><=
/o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">We invite two types of submissions:<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<ul style=3D"margin-top:0cm" type=3D"disc">
<li class=3D"MsoListParagraph" style=3D"color:black;margin-left:0cm;mso-lis=
t:l1 level1 lfo2;background:white">
<b>Full papers </b>(within 16 pages excluding bibliography) describing orig=
inal and unpublished work.<o:p></o:p></li><li class=3D"MsoListParagraph" st=
yle=3D"color:black;margin-left:0cm;mso-list:l1 level1 lfo2;background:white=
">
<b>Extended abstracts </b>(within 6 pages excluding bibliography) of prelim=
inary original work. Submissions should be original, not simultaneously sub=
mitted elsewhere, and prepared according to the workshop submission guideli=
nes. Accepted papers will be presented
at the workshop as part of the technical program. <o:p></o:p></li></u=
l>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><b><u><span style=3D"colo=
r:black">Publication</span></u></b><span style=3D"color:black"><o:p></o:p><=
/span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">All accepted papers will be published with College Publications.<o:p></o=
:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><b><u><span style=3D"colo=
r:black">Important dates<o:p></o:p></span></u></b></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">Submission deadline: 6 July 2026<br>
Notification: 6 August 2026<br>
Final version: 26 August 2026<br>
Workshop: 17 September 2026<o:p></o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><b><u><span style=3D"colo=
r:black">Topics of interest include, but are not limited to</span></u></b><=
span style=3D"color:black">:<o:p></o:p></span></p>
<ul type=3D"disc">
<li class=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:auto;mso-ma=
rgin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
LLM-assisted generation of logical representations, arguments, and reasonin=
g structures<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;ms=
o-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;ba=
ckground:white">
Logical and argumentation-based analysis of reasoning generated by language=
models<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;mso-mar=
gin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;backgro=
und:white">
Computational argumentation for guiding, constraining, and explaining langu=
age-model-based systems<o:p></o:p></li><li class=3D"MsoNormal" style=3D"col=
or:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 lev=
el1 lfo1;background:white">
Hybrid and neuro-symbolic architectures combining language models with symb=
olic reasoning<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;=
mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;=
background:white">
Neuro-symbolic knowledge representation and reasoning methods for language =
models<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;mso-marg=
in-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;backgrou=
nd:white">
Knowledge injection into, and extraction from, language models<o:p></o:p></=
li><li class=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:auto;mso=
-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Commonsense reasoning integrating language models with knowledge representa=
tion and reasoning<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:bl=
ack;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 l=
fo1;background:white">
Argumentation, deliberation, negotiation, and dialogical reasoning with lan=
guage-model-based agents<o:p></o:p></li><li class=3D"MsoNormal" style=3D"co=
lor:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 le=
vel1 lfo1;background:white">
Reasoning about agency, autonomy, and learning in systems built with langua=
ge models<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;mso-m=
argin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;backg=
round:white">
Planning, action, and decision-making in agentic systems and workflows<o:p>=
</o:p></li><li class=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:=
auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Logical and computational models of generative agents<o:p></o:p></li><li cl=
ass=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:auto;mso-margin-b=
ottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Cooperation, coordination, and communication in multi-agent systems involvi=
ng generative agents<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:=
black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1=
lfo1;background:white">
Logic-based verification, safety, and controllability of language-model-bas=
ed and agentic systems<o:p></o:p></li><li class=3D"MsoNormal" style=3D"colo=
r:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 leve=
l1 lfo1;background:white">
Logics for reasoning about knowledge, beliefs, goals, intentions, actions, =
and plans<o:p></o:p></li><li class=3D"MsoNormal" style=3D"color:black;mso-m=
argin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;backg=
round:white">
Non-monotonic, defeasible, and uncertain reasoning in language-model-based =
and agent-based systems<o:p></o:p></li><li class=3D"MsoNormal" style=3D"col=
or:black;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 lev=
el1 lfo1;background:white">
Verification and formal analysis of agents and multi-agent systems<o:p></o:=
p></li><li class=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:auto=
;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Argumentation-based explanation and interpretable reasoning<o:p></o:p></li>=
<li class=3D"MsoNormal" style=3D"color:black;mso-margin-top-alt:auto;mso-ma=
rgin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white">
Normative reasoning and applications in machine ethics and AI & Law<o:p=
></o:p></li></ul>
<p class=3D"MsoNormal" style=3D"mso-margin-top-alt:auto;mso-margin-bottom-a=
lt:auto;margin-left:36.0pt;background:white">
<span style=3D"color:black"><o:p> </o:p></span></p>
<p class=3D"MsoNormal" style=3D"background:white"><b><u><span style=3D"colo=
r:black">Organizers</span></u></b><span style=3D"color:black"><o:p></o:p></=
span></p>
<p class=3D"MsoNormal" style=3D"background:white"><span style=3D"color:blac=
k">Beishui Liao, Zhejiang University, China<br>
Nico Potyka, Cardiff University, United Kingdom<br>
Leon van der Torre, University of Luxembourg, Luxembourg<br>
<b>Liuwen Yu</b>, Luxembourg Institute of Science and Technology, Luxembour=
g<o:p></o:p></span></p>
<p class=3D"MsoNormal"><span style=3D"mso-fareast-language:EN-US"><o:p>&nbs=
p;</o:p></span></p>
</div>
</body>
</html>
--_000_CWXP265MB34611637676AF7C8E2F79DACED49ACWXP265MB3461GBRP_--