[Apologies if you receive multiple copies] ******************************************************************************* CALL FOR PAPERS *******************************************************************************
We are happy to announce that The 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) will be held in Melbourne, Australia from 11 - 17 November, 2025. It will be co-located with CPAIOR 2025, ICAPS 2025 and NMR 2025. Conference website: http://www.kr.org/KR2025 Abstract submission deadline: 7 May 2025 Paper submission deadline: 12 May 2025 ******************************************************************************* Description ******************************************************************************* Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often 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. 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 cybersecurity. The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge. KR 2025 will include special thematic tracks and a Recently Published Research Track, tutorials, workshops, and a Doctoral Consortium. Details about all these events and the corresponding calls will be on the website in due time. We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. ******************************************************************************* Important Dates ******************************************************************************* Submission page opens: 31 March, 2025 Submission of title and abstract: May 7, 2025 Paper submission deadline: May 12, 2025 Author response period: June 25 – July 1, 2025 Notification of acceptance: July 10, 2025 Conference dates: November 11 – 17, 2025 ******************************************************************************* Submission Guidelines for the Main Track ******************************************************************************* Submissions should be anonymous and will be subject to double-blind peer review. Contributions may be regular papers (up to 9 pages) or short papers (up to 4 pages), including abstract, figures, and appendices (if any) but excluding references and acknowledgements. Papers must be written in English and formatted using the style files which will be provided in the website. Accepted papers will be published in the KR 2025 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work. Top papers from KR 2025 will be invited to the award-winning paper tracks of Artificial Intelligence (AIJ) and of the Journal of Artificial Intelligence Research (JAIR). Thus, award winners will have the possibility of choosing between AIJ and JAIR. All submissions will be treated confidentially until the publication date. Further details about the submission guidelines and the selection criteria will be on the website in due time.
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
