Important Dates | Topics | Submission Instructions
Important (Tentative) Dates
- Paper registration: 30 April 2026 (AoE)
- Paper submission: 7 May 2026 (AoE)
- Notification: 11 Jun 2026
- Final versions due: 2 July 2026
- Conference dates: 7 - 11 September 2026
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 Systems:
- 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, evaluations
- Algorithms and novel techniques for efficient evaluation
- LPNMR benchmarks
Applications of LPNMR:
- Use of LPNMR in Commonsense Reasoning and other areas of KR
- LPNMR languages and algorithms in planning, diagnosis, 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
- Embedded LPNMR: Systems using LPNMR subsystems