<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="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 4pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
As a complement to the traditional KR Main track focusing more on theoretical advances in KR, the
<span style="font-weight: 700;">KR in the Wild</span> track aims to showcase <span style="font-weight: 700;">
successful deployments of KR formalisms</span> in <span style="font-weight: 700;">
all types of application domains</span> as well as <span style="font-weight: 700;">
recent developments in the state-of-the-art in automated reasoning systems</span> which form the basis for successful deployment of declarative problem solving in an ever-increasing number of practical settings.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Towards these goals, the KR in the Wild Track welcomes contributions from areas that are sometimes considered as not core KR research. This includes (but is not restricted to)
<span style="font-weight: 700;">state-of-the-art reasoning systems and solvers</span> developed in the various vibrant declarative programming communities as well as
<span style="font-weight: 700;">insightful applications</span> of such systems. As further goals, the track aims to
<span style="font-weight: 700;">foster interactions</span> between <span style="font-weight: 700;">
practical and theoretical advances</span>, and to encourage the discussion of new ideas, research experiences, emerging results and open challenges that can inspire novel research directions and influence the future of KR research.</div>
<div style="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Expected Contributions</b></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
We invite submissions of papers on all aspects of the development, deployment, and evaluation of KR tools and techniques to solve application problems, including:</div>
<ul style="margin-top: 0px; margin-bottom: 0px;">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-weight: 700;">system descriptions</span> including the description of algorithmic techniques, heuristics and optimizations for established systems;</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-weight: 700;">case studies</span>, including descriptions of the problem setting, data and tools used, and "lessons learned";</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt;">
<span style="font-weight: 700;">assessments</span> and reports of experimental studies, rigorously assessing aspects such as scalability, usability, acceptance and uptake;</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt;">
<span style="font-weight: 700;">benchmarks and resources</span> that may support the assessment of KR tools, such as data sets, collections of problems with "solution sets" or gold standards.</div>
</li></ul>
<div style="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Important Dates</b></div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div align="left" style="margin-left: -0.75pt;">
<table style="direction: ltr; box-sizing: border-box; border-collapse: collapse; border-spacing: 0px;">
<tbody>
<tr>
<td style="width: 275px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Submission of title and abstract</span></div>
</td>
<td style="width: 293px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
May 21, 2025</div>
</td>
</tr>
<tr>
<td style="width: 275px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-right: -21.2598pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Paper submission deadline</span></div>
</td>
<td style="width: 293px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
May 28, 2025</div>
</td>
</tr>
<tr>
<td style="width: 275px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Author response period</span></div>
</td>
<td style="width: 293px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-right: -28.5591pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
July 2 - July 8, 2025</div>
</td>
</tr>
<tr>
<td style="width: 275px; height: 46.15px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Notification of acceptance</span></div>
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Camera ready due</span></div>
</td>
<td style="width: 293px; height: 46.15px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
July 16, 2025</div>
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
August 15, 2025</div>
</td>
</tr>
<tr>
<td style="width: 275px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-weight: 700;">Conference dates</span></div>
</td>
<td style="width: 293px; height: 24.075px; direction: ltr; background-color: rgb(255, 255, 255); vertical-align: top;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
November 11-17, 2025</div>
</td>
</tr>
</tbody>
</table>
</div>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<br>
</div>
<div style="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Submission Guidelines and Evaluation Criteria</b></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Similarly as for the KR 2025 Main Track, submissions should be anonymous and will be subject to double-blind peer review. Contributions may be
</span><span style="color: rgb(0, 0, 0); font-weight: 700;">regular papers (up to 9 pages)</span><span style="color: rgb(0, 0, 0);"> or
</span><span style="color: rgb(0, 0, 0); font-weight: 700;">short papers (up to 4 pages)</span><span style="color: rgb(0, 0, 0);">, including abstract, figures, and appendices (if any) but excluding references and acknowledgements. Papers must be written in
English and formatted </span><span style="color: rgb(17, 85, 204);"><u><a href="https://kr.org/KR2025/files/KR25_authors_kit.zip" id="OWAfcbbeaa2-1bb1-600a-41fb-f0f764da4c93" class="OWAAutoLink" style="color: rgb(17, 85, 204);">using the style files provided
here</a></u></span><span style="color: rgb(0, 0, 0);">.</span></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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 in the Wild Track. Due to the applied nature
of the KR In the Wild Track, authors are recommended to make, as applicable, any relevant data and implementation code available to allow other researchers to reproduce the reported results.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Papers must be submitted through the easychair system:
</span><span style="color: rgb(55, 58, 60);"><u><a href="https://easychair.org/conferences/?conf=kr2025" id="OWAfea56ca5-b494-3819-80eb-7589f9ef943f" class="OWAAutoLink" style="color: rgb(55, 58, 60);">https://easychair.org/conferences/?conf=kr2025</a></u></span><span style="color: rgb(0, 0, 0);">.
Please select the respective track. </span></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Selected authors will be given the option to showcase their work in the Demo Track alongside their regular presentation slot in a session of the track.</div>
<div style="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Selection Process</b></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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 style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Additionally, track-relevant criteria will be considered. This includes the impact and novelty of the application setting or system presented; quality of empirical evaluation; and availability of resources (data, benchmarks, implementation, etc).</div>
<div style="direction: ltr; line-height: 1.44; margin-top: 0pt; margin-bottom: 2pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<b>Inquiries</b></div>
<div style="direction: ltr; text-align: justify; line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt;">
<span style="color: rgb(0, 0, 0);">Inquiries should be sent by email to </span><span style="color: rgb(55, 58, 60);"><u><a href="mailto:kr2025-wild@easychair.org" id="OWA1be2b8ea-55c1-5364-0b84-27813bad2fe1" class="OWAAutoLink" style="color: rgb(55, 58, 60);">kr2025-wild@easychair.org</a></u></span><span style="color: rgb(0, 0, 0);"><u>
</u>and will be handled by the KR in the Wild Track chairs:</span></div>
<ul style="margin-top: 0px; margin-bottom: 0px;">
<li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; padding: 3.75pt 0pt;">
<span style="font-weight: 700;">Mutsunori Banbara</span>, Nagoya University</div>
</li><li style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr; list-style-type: disc;">
<div style="direction: ltr; line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; padding: 3.75pt 0pt;">
<span style="font-weight: 700;">Sarah Gaggl</span>, TU Dresden</div>
</li></ul>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
<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>
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>