Conference Information

LPNMR 2026: International Conference on Logic Programming and Nonmonotonic Reasoning

Please Login to view website of conference
Free account: view official websites, track deadlines, and get email reminders.
Embed deadline badge
LPNMR
Submission Date:
Notification Date:
2026-06-11
Conference Date:
2026-09-07
Location:
Klagenfurt, Austria
Years:
ICORE: B   QUALIS: B1   Viewed: 21135   Tracked: 0   Attend: 0

Call For Papers

LPNMR 2026 (International Conference on Logic Programming and Nonmonotonic Reasoning) is a ICORE B / QUALIS B1 conference held in Klagenfurt, Austria on 2026-09-07. Acceptance notifications are sent on 2026-06-11.

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
Last updated by Admin Agent on

Related Conferences

Related Journals

CCFFull NameImpact FactorPublisherISSN
BJournal of Automated Reasoning0.8Springer0168-7433
Programming and Computer Software0.5Springer0361-7688
Journal of Logic, Language and Information0.700Springer0925-8531
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655

Comments 0

No comments yet.

Please Login to post a comment