[PlanetKR] KR2025 - Preliminary Call for Papers

[Renata Wassermann]

*PRELIMINARY CALL FOR PAPERS KR 202522nd International Conference
on Principles of Knowledge Representation and Reasoning, KR 2025November,
2025, Melbourne, AustraliaCo-located with NMR2025,  ICAPS 2025 and CPAIOR
2025.Deadline for submissions : early May 2025Conference future web site:
http://www.kr.org/KR2025 <http://www.kr.org/KR2025>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 consist of a number of tracks and
events. It 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. Further details about the submission guidelines and the selection
criteria will be on the website in due time.-- Important Dates --•   Paper
submission deadline: May, 2025•   Author notification: July, 2025--
Submission Guidelines --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 provided in
the submission page. Accepted papers will be published in the KR 2024
proceedings. At least one author of each accepted paper is required to
participate in the conference and present the work.Top papers from KR 2024
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.*
--
Renata Wassermann
Associate Professor
Computer Science Department
University of São Paulo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20241127/b28d8bde/attachment.htm>