会議情報

LPNMR 2026: International Conference on Logic Programming and Nonmonotonic Reasoning

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録
締切カウントダウンバッジを埋め込む
LPNMR
投稿締切日:
通知日:
2026-06-11
開催日:
2026-09-07
開催地:
Klagenfurt, Austria
開催回数:
ICORE: B   QUALIS: B1   閲覧: 21127   フォロー: 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

まだコメントはありません。

コメントするにはログインしてください