LPNMR 2026 is the eighteenth in the series of international meetings 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 nonmonotonic 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.

The previous editions of the LPNMR conference series took place in Dallas (2024), Genova (2022), Philadelphia (2019), Espoo (2017), Lexington (2015), A Coruña (2013), Vancouver (2011), Potsdam (2009), Tempe (2007), Diamante (2005), Fort Lauderdale (2004), Vienna (2001), El Paso (1999), Dagstuhl (1997), Lexington (1995), Lisbon (1993), and Washington (1991).

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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines

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.

Committees

General Chair

• Wolfgang Faber, Universität Klagenfurt

Program co-Chairs

• Martin Gebser, Universität Klagenfurt
• Yanhong Annie Liu, Stony Brook University

Workshop co-Chairs

• Joaquín Arias, Universidad Rey Juan Carlos
• Jorge Fandinno, University of Nebraska at Omaha

Doctoral Consortium co-Chairs

• Giuseppe Mazzotta, Università della Calabria
• Isabelle Kuhlmann, FernUniversität in Hagen

Publicity co-Chairs

• Đorđe Marković, Universität Klagenfurt
• Antonio Ielo, Università della Calabria

Program Committee

• (Coming soon)

Venue - Klagenfurt

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.

Contact

• General Chair:
  • Wolfgang Faber — wolfgang.faber@aau.at
• Program co-Chairs:
  • Martin Gebser — martin.gebser@aau.at
  • Yanhong Annie Liu — liu@cs.stonybrook.edu