[cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning

--===============0807922680456734035==
Content-Type: multipart/alternative; boundary="00000000000026a85e064b80b865"

--00000000000026a85e064b80b865
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit

*** Please accept our apologies if you receive multiple copies of this CFP
***

====================================================
LPNMR 2026 - Preliminary Call for Papers

18th International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR 2026)
Klagenfurt, Austria | September 7-11, 2026
Website: https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Flpnmr2026.aics.aau.at%2F&data=05%7C02%7Cclean-list%40science.ru.nl%7C0413fde73ea247e235b108de72fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639074632570570986%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=rR%2FNVOlRmtJsj7et%2BpD7Uy6h6Pu8rn2ZcezRjSWKy5g%3D&reserved=0
Contact us: [email protected]
Submission: https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlpnmr2026&data=05%7C02%7Cclean-list%40science.ru.nl%7C0413fde73ea247e235b108de72fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639074632570595953%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=eBSjpzPd7DDJwJ4qHRrtql59a7bJqjGITn4SddOfc6c%3D&reserved=0
====================================================

====================================================
IMPORTANT DATES
====================================================

- Paper registration: April 30, 2026
- Submission deadline: May 7, 2026
- Final notification: June 11, 2026
- Final versions due: July 2, 2026
- Conference: September 7-11, 2026

====================================================
AIMS AND SCOPE
====================================================

LPNMR 2026 is the eighteenth in the series of international conferences on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation. The aim of the conference is to facilitate
interactions between researchers and practitioners interested in the design
and implementation of logic-based programming languages and database
systems, and those working in knowledge representation and non-monotonic
reasoning. LPNMR strives to encompass theoretical and experimental studies
that have led or will lead to advances in declarative programming and
knowledge representation, as well as their use in practical applications.
LPNMR 2026 aims to bring together researchers from LPNMR and neighboring
areas in order to share research experiences, promote collaboration and
identify directions for joint future research.

====================================================
TOPICS
====================================================

Authors are invited to submit papers presenting original and unpublished
research on all aspects of non-monotonic approaches in logic programming
and knowledge representation. Conference topics include, but are not
limited to:

- Foundations of LPNMR: Semantics of new and existing languages; Action
languages; Causality; Formalization of Commonsense Reasoning and
understanding its laws and nature; Relationships among formalisms;
Complexity and expressive power; Inference algorithms and heuristics for
LPNMR systems; Extensions of traditional LPNMR languages such as new
logical connectives or new inference capabilities; Updates, revision, and
other operations on LPNMR systems; Uncertainty in LPNMR systems

- Implementation of LPNMR systems: System descriptions, comparisons, and
evaluations; Algorithms and novel techniques for efficient evaluation;
LPNMR benchmarks; Systems using LPNMR subsystems

- Applications of LPNMR: Use of LPNMR in Commonsense Reasoning and other
areas of knowledge representation; LPNMR languages and algorithms in
planning, diagnosis, and argumentation; Reasoning with preferences,
decision making, and policies; Applications of LPNMR languages in data
integration and exchange systems; Software engineering and model checking;
Applications of LPNMR to bioinformatics, linguistics, psychology, and other
sciences; Integration of LPNMR systems with other computational paradigms

====================================================
SUBMISSION AND PUBLICATION
====================================================

LPNMR 2026 welcomes submissions of long papers (up to 15 pages) or short
papers (up to 8 pages) in the following categories:

- Technical papers
- System papers
- Application papers

The indicated number of pages includes the title page, figures, tables,
references, and appendix. All submissions will be peer-reviewed and
accepted papers will appear in the conference proceedings published in the
Springer's Lecture Notes in Artificial Intelligence (LNAI) series.
Submissions must be written in English, present original research, and be
formatted according to Springer's guidelines and technical instructions
available at:

https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Cclean-list%40science.ru.nl%7C0413fde73ea247e235b108de72fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639074632570614935%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=f0PXKH%2B48EgGIbO%2FYpkq75%2B2QX83ZO1%2Fej6TygEdv3w%3D&reserved=0

LPNMR 2026 will not accept any paper which, at the time of submission, is
under review or has already been published or accepted for publication in a
journal or another conference. Authors are also required not to submit
their papers elsewhere during LPNMR's review period. However, these
restrictions do not apply to workshops (e.g., ASPOCP 2026) with a limited
audience and without archival proceedings.

====================================================
FAST JOURNAL TRACK FOR BEST PAPERS
====================================================

Two award-winning papers (Best Paper Award and Best Student Paper Award of
LPNMR 2026) will be invited for publication in either the Artificial
Intelligence Journal or the Journal of Artificial Intelligence Research,
based on the preference of the authors.
Additionally, about 5-7 high-quality papers with a logic programming focus
will be invited for publication in the journal of Theory and Practice of
Logic Programming.

====================================================
VENUE
====================================================

LPNMR 2026 will be held on the campus of the University of Klagenfurt in
September 2026. Klagenfurt is the capital of the state Carinthia in the
south of Austria. The name Klagenfurt was first mentioned in the late 12th
century and legend has it that Klagenfurt was founded after a couple of
brave men had slain the abominable Lindwurm, a winged dragon. The city is
located next to the lake Woerthersee, one of the most beautiful lakes in
Austria, surrounded by several forest-covered hills and mountains. Being a
small city, with a Renaissance-style city center reflecting 800 years of
history and with an Italian influence, Klagenfurt is a pleasant place to
live and work.

====================================================
ORGANISING COMMITTEE
====================================================

General Chair:
        Wolfgang Faber, University of Klagenfurt, Austria

Program Co-chairs:
        Martin Gebser, University of Klagenfurt, Austria
        Yanhong Annie Liu, Stony Brook University, USA

--00000000000026a85e064b80b865
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><span style=3D"font-family:monospace">*** Please accept ou=
r apologies if you receive multiple copies of this CFP ***<br><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
>LPNMR 2026 - Preliminary Call for Papers<br><br>18th International Confere=
nce on Logic Programming and Non-monotonic Reasoning (LPNMR 2026)<br>Klagen=
furt, Austria | September 7-11, 2026<br>Website: <a href=3D"https://eur01.s=
afelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Flpnmr2026.aics.aau.at%=
2F&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0413fde73ea247e235b108=
de72fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639074632570650156%=
7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJ=
XaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&amp;sdata=3D3rA6=
cHCXljeJwzRwSGqXiWjwPKD8tUBwXuASax2n%2BDo%3D&amp;reserved=3D0" originalSrc=
=3D"https://lpnmr2026.aics.aau.at/">https://lpnmr2026.aics.aau.at</a><br>Co=
ntact us: <a href=3D"mailto:[email protected]">[email protected]=
g</a><br>Submission: <a href=3D"https://eur01.safelinks.protection.outlook.=
com/?url=3Dhttps%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dlpnmr2026&=
amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C0413fde73ea247e235b108de7=
2fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639074632570671221%7CU=
nknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW=
4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&amp;sdata=3DjrYc2Yq=
5aQOTQ32hqjah%2FLOek60TQ6TxrbwFkTXdlXk%3D&amp;reserved=3D0" originalSrc=3D"=
https://easychair.org/conferences/?conf=3Dlpnmr2026">https://easychair.org/=
conferences/?conf=3Dlpnmr2026</a><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>IMPORTANT D=
ATES<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br><br>- Paper registration: April 30, 2026<br>- Submission=
 deadline: May 7, 2026<br>- Final notification: June 11, 2026<br>- Final ve=
rsions due: July 2, 2026<br>- Conference: September 7-11, 2026<br><br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<br>AIMS AND SCOPE<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>LPNMR 2026 is the eighteenth in th=
e series of international conferences on logic programming and non-monotoni=
c reasoning. LPNMR is a forum for exchanging ideas on declarative logic pro=
gramming, non-monotonic reasoning, and knowledge representation. The aim of=
 the conference is to facilitate interactions between researchers and pract=
itioners interested in the design and implementation of logic-based program=
ming languages and database systems, and those working in knowledge represe=
ntation and non-monotonic reasoning. LPNMR strives to encompass theoretical=
 and experimental studies that have led or will lead to advances in declara=
tive programming and knowledge representation, as well as their use in prac=
tical applications.<br>LPNMR 2026 aims to bring together researchers from L=
PNMR and neighboring areas in order to share research experiences, promote =
collaboration and identify directions for joint future research.<br><br>=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D<br>TOPICS<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br><br>Authors are invited to submit papers presen=
ting original and unpublished research on all aspects of non-monotonic appr=
oaches in logic programming and knowledge representation. Conference topics=
 include, but are not limited to:<br><br>- Foundations of LPNMR: Semantics =
of new and existing languages; Action languages; Causality; Formalization o=
f Commonsense Reasoning and understanding its laws and nature; Relationship=
s among formalisms; Complexity and expressive power; Inference algorithms a=
nd heuristics for LPNMR systems; Extensions of traditional LPNMR languages =
such as new logical connectives or new inference capabilities; Updates, rev=
ision, and other operations on LPNMR systems; Uncertainty in LPNMR systems<=
br><br>- Implementation of LPNMR systems: System descriptions, comparisons,=
 and evaluations; Algorithms and novel techniques for efficient evaluation;=
 LPNMR benchmarks; Systems using LPNMR subsystems<br><br>- Applications of =
LPNMR: Use of LPNMR in Commonsense Reasoning and other areas of knowledge r=
epresentation; LPNMR languages and algorithms in planning, diagnosis, and a=
rgumentation; Reasoning with preferences, decision making, and policies; Ap=
plications of LPNMR languages in data integration and exchange systems; Sof=
tware engineering and model checking; Applications of LPNMR to bioinformati=
cs, linguistics, psychology, and other sciences; Integration of LPNMR syste=
ms with other computational paradigms<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>SUBMISSION AND PUBLI=
CATION<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br><br>LPNMR 2026 welcomes submissions of long papers (u=
p to 15 pages) or short papers (up to 8 pages) in the following categories:=
<br><br>- Technical papers<br>- System papers<br>- Application papers<br><b=
r>The indicated number of pages includes the title page, figures, tables, r=
eferences, and appendix. All submissions will be peer-reviewed and accepted=
 papers will appear in the conference proceedings published in the Springer=
&#39;s Lecture Notes in Artificial Intelligence (LNAI) series. Submissions =
must be written in English, present original research, and be formatted acc=
ording to Springer&#39;s guidelines and technical instructions available at=
:<br><br><a href=3D"https://eur01.safelinks.protection.outlook.com/?url=3Dh=
ttps%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-p=
roceedings-guidelines&amp;data=3D05%7C02%7Cclean-list%40science.ru.nl%7C041=
3fde73ea247e235b108de72fe07cb%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C=
639074632570689728%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIw=
LjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%=
7C&amp;sdata=3DiulkWPFpHQmyNXvCq0NYg5zTj8PBUliVILkSYz6u8dU%3D&amp;reserved=
=3D0" originalSrc=3D"https://www.springer.com/gp/computer-science/lncs/conf=
erence-proceedings-guidelines">https://www.springer.com/gp/computer-science=
/lncs/conference-proceedings-guidelines</a><br><br>LPNMR 2026 will not acce=
pt any paper which, at the time of submission, is under review or has alrea=
dy been published or accepted for publication in a journal or another confe=
rence. Authors are also required not to submit their papers elsewhere durin=
g LPNMR&#39;s review period. However, these restrictions do not apply to wo=
rkshops (e.g., ASPOCP 2026) with a limited audience and without archival pr=
oceedings.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D<br>FAST JOURNAL TRACK FOR BEST PAPERS<br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
><br>Two award-winning papers (Best Paper Award and Best Student Paper Awar=
d of LPNMR 2026) will be invited for publication in either the Artificial I=
ntelligence Journal or the Journal of Artificial Intelligence Research, bas=
ed on the preference of the authors.<br>Additionally, about 5-7 high-qualit=
y papers with a logic programming focus will be invited for publication in =
the journal of Theory and Practice of Logic Programming.<br><br>=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br=
>VENUE<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br><br>LPNMR 2026 will be held on the campus of the Univ=
ersity of Klagenfurt in September 2026. Klagenfurt is the capital of the st=
ate Carinthia in the south of Austria. The name Klagenfurt was first mentio=
ned in the late 12th century and legend has it that Klagenfurt was founded =
after a couple of brave men had slain the abominable Lindwurm, a winged dra=
gon. The city is located next to the lake Woerthersee, one of the most beau=
tiful lakes in Austria, surrounded by several forest-covered hills and moun=
tains. Being a small city, with a Renaissance-style city center reflecting =
800 years of history and with an Italian influence, Klagenfurt is a pleasan=
t place to live and work.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ORGANISING COMMITTEE<br>=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
<br><br>General Chair:<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Wolfgang Faber, Unive=
rsity of Klagenfurt, Austria<br><br>Program Co-chairs:<br>=C2=A0 =C2=A0 =C2=
=A0 =C2=A0 Martin Gebser, University of Klagenfurt, Austria<br>=C2=A0 =C2=
=A0 =C2=A0 =C2=A0 Yanhong Annie Liu, Stony Brook University, USA</span></di=
v>

--00000000000026a85e064b80b865--

--===============0807922680456734035==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz
dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z
Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo=

--===============0807922680456734035==--