Call for Papers: KR in the Wild

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:

Important Dates

The deadlines are AoE - Anywhere on Earth (UTC-12).

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.

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.

Authors of papers may submit a separate PDF or ZIP file with additional information supporting their claims (such as proof details, additional experimental results, further details on experimental design, etc). The ZIP file may include content such as PDFs, code, or data. Such supplementary material should be submitted via the conference management system. The paper must be self contained, as the supplementary material will not be published. Reviewers will have the option, but not the obligation, to consult the supplementary material.

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-wild@easychair.org and will be handled by the KR in the Wild Track chairs: