<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Call For Papers: Track on Knowledge Representation & Reasoning in Planning & Scheduling at the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025)<br>
<br>
<br>
The track on Knowledge Representation & Reasoning in Planning & Scheduling (KR&R in P&S) at the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) emphasizes the synergistic interactions between the two areas, and
welcomes contributions that extend the state of the art at their intersection.<br>
<br>
<br>
**********************************************************************<br>
Expected Contributions</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
We welcome papers that investigate the synergy between knowledge representation and reasoning formalisms and methods, and planning languages and methods, such as (but not limited to):<br>
- knowledge representation languages for non-classical planning<br>
- relations between action languages and planning languages<br>
- representation of actions and change, background knowledge, and planning heuristics<br>
- automated reformulations/revisions of action domain descriptions<br>
- reasoning for plan computation, synthesis, analysis, verification, reuse and repairs<br>
- orchestration of planning with other reasoning methods for plan execution monitoring<br>
<br>
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Important Dates:</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
Submission of title and abstract: May 21, 2025<br>
Paper submission deadline: May 28, 2025<br>
Author response period: July 2-8, 2025<br>
Notification of acceptance: July 10, 2025 (was July 16, 2025)<br>
Camera-ready due: August 15, 2025<br>
Conference dates: November 11-17, 2025<br>
<br>
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
ICAPS Resubmissions</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
For resubmissions of ICAPS papers we ask the authors to provide the original submission, ICAPS reviews and, optionally, a summary of changes. The reviewers will only see the ICAPS reviews after they submit their own.<br>
<br>
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Submission Guidelines and Evaluation Criteria</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
Submissions must 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 provided here.<br>
<br>
Submissions will be rigorously peer reviewed by PC members on the basis of the overall quality of their technical contribution, with special attention to the suitability of submissions in terms of the scope of the KR&R in P&S Track. Authors are recommended
to make, as applicable, any relevant data and implementation code available to allow other researchers to reproduce the reported results.<br>
<br>
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.<br>
<br>
Papers must be submitted through the EasyChair system: <a href="https://easychair.org/conferences/?conf=kr2025" id="OWAd65804d7-d2c0-0512-a75a-3fdcd96d3e9a" class="OWAAutoLink" title="Original URL: https://easychair.org/conferences/?conf=kr2025. Click or tap if you trust this link." originalsrc="https://easychair.org/conferences/?conf=kr2025" data-linkindex="3" data-auth="NotApplicable" style="margin: 0px;">
https://easychair.org/conferences/?conf=kr2025</a>. Please select the respective track.<br>
<br>
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Selection Process</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
The submissions will be selected based on the excellent scientific quality, potential impact, correctness, novelty, originality, significance of results, clarity, and quality of the presentation.</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
Additionally, track-relevant criteria will be considered, including impact, novelty and relevance to both areas.<br>
<br>
<br>
</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Further details and Inquiries</div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<span style="background-color: rgb(255, 255, 255);">**********************************************************************</span></div>
<div class="elementToProof" style="text-align: left; text-indent: 0px; margin: 0px; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
For additional information, please visit <a href="https://kr.org/KR2025/" id="OWAbcd35479-7d87-7956-953b-b1135cd5f720" class="OWAAutoLink" title="Original URL: https://kr.org/KR2025/. Click or tap if you trust this link." originalsrc="https://kr.org/KR2025/" data-linkindex="4" data-auth="NotApplicable" style="margin: 0px;">
https://kr.org/KR2025/</a><br>
<br>
Inquiries should be sent by email to <a href="mailto:patrizi@diag.uniroma1.it" id="OWA06e33521-2674-a536-fd8e-e9fbc16a182f" class="OWAAutoLink" title="mailto:patrizi@diag.uniroma1.it" data-linkindex="5" style="margin: 0px;">
patrizi@diag.uniroma1.it</a> and <a href="mailto:natasha.alechina@ou.nl" id="OWA49a59bc8-fb94-e115-1331-6598086832df" class="OWAAutoLink" title="mailto:natasha.alechina@ou.nl" data-linkindex="6" style="margin: 0px;">
natasha.alechina@ou.nl</a> and will be handled by the KR&R and P&S Track chairs:<br>
Fabio Patrizi, Sapienza University of Rome<br>
Natasha Alechina, Open Universiteit / Utrecht University</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>