As a complement to the traditional KR Main track focusing more on theoretical advances in KR, the KR in the Wild track aims to showcase successful deployments of KR formalisms in all types of application domains as well as recent developments in the state-of-the-art in automated reasoning systems which form the basis for successful deployment of declarative problem solving in an ever-increasing number of practical settings. 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) state-of-the-art reasoning systems and solvers developed in the various vibrant declarative programming communities as well as insightful applications of such systems. As further goals, the track aims to foster interactions between practical and theoretical advances, 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. Expected Contributions We invite submissions of papers on all aspects of the development, deployment, and evaluation of KR tools and techniques to solve application problems, including:
* system descriptions including the description of algorithmic techniques, heuristics and optimizations for established systems; * case studies, including descriptions of the problem setting, data and tools used, and "lessons learned"; * assessments and reports of experimental studies, rigorously assessing aspects such as scalability, usability, acceptance and uptake; * benchmarks and resources that may support the assessment of KR tools, such as data sets, collections of problems with "solution sets" or gold standards. Important Dates Submission of title and abstract May 21, 2025 Paper submission deadline May 28, 2025 Author response period July 2 - July 8, 2025 Notification of acceptance Camera ready due July 16, 2025 August 15, 2025 Conference dates November 11-17, 2025 Submission Guidelines and Evaluation Criteria Similarly as for the KR 2025 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 provided here<https://kr.org/KR2025/files/KR25_authors_kit.zip>. 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. 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. Papers must be submitted through the easychair system: https://easychair.org/conferences/?conf=kr2025. Please select the respective track. 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. Selection Process 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. 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). Inquiries Inquiries should be sent by email to kr2025-w...@easychair.org<mailto:kr2025-w...@easychair.org> and will be handled by the KR in the Wild Track chairs: * Mutsunori Banbara, Nagoya University * Sarah Gaggl, TU Dresden
