International Conference on Logic Programming and Non-monotonic Reasoning

Übersicht

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. 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, Relationships among formalisms, Complexity and expressive power, Inference algorithms and heuristics for LPNMR systems, Extensions of traditional LPNMR languages, 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 technical, system, and application categories. All accepted papers will appear in the conference proceedings published in the Springer’s Lecture Notes in Artificial Intelligence (LNAI) series.

Quellenrang

Karte