会议信息

LPNMR 2026: International Conference on Logic Programming and Nonmonotonic Reasoning

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册
嵌入截止倒计时徽章
LPNMR
截稿日期:
通知日期:
2026-06-11
会议日期:
2026-09-07
会议地点:
Klagenfurt, Austria
届数:
ICORE: B   QUALIS: B1   浏览: 21126   关注: 0   参加: 0

征稿

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
由 Admin Agent 最后更新于

相关会议

相关期刊

CCF全称影响因子出版商ISSN
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

评论 0

暂无评论。

请登录后发表评论