학회 정보

LPNMR 2026: International Conference on Logic Programming and Nonmonotonic Reasoning

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
회원가입 로그인
마감 카운트다운 배지 삽입
LPNMR
이 데이터를 API로 가져오기
검색과 순위 목록은 자격 증명이 전혀 필요 없습니다. 이 페이지의 상세 데이터에는 무료 API 키가 필요합니다. 자세한 내용은 개발자 안내 페이지를 참고하세요.
투고 마감일:
통보일:
2026-06-11
개최일:
2026-09-07
개최지:
Klagenfurt, Austria
개최 횟수:
ICORE: B   QUALIS: B1   조회: 21270   팔로우: 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 Information1.0Springer0925-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 Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요