International Conference on Principles of Knowledge Representation and Reasoning
摘要截稿: 2024-04-24
全文截稿: 2024-05-01
开会时间: 2024-11-02
会议难度:
CCF分类: B类
会议地点: Hanoi, Vietnam
Overview
Knowledge Representation and Reasoning (KR) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. Consequently, KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cyber security. The KR conference series is the leading forum for timely in-depth presentation of progress in the principles and practice of the representation and computational management of knowledge in intelligent systems.