==================================================== 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.
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:
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.
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.