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:

In each case, the significance of the contribution “in the wild” will be an important evaluation criterion. Therefore, current active usage, user interest, or relevance to communities of researchers or practitioners should be documented.

Important Dates

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

Submission Guidelines and Evaluation Criteria

Similarly as for the KR 2026 Main Track, submissions should be anonymous and will be subject to double-anonymous peer review. However, when relevant to the claimed significance, authors in the KR in the Wild track are allowed to name the specific software, application, or artefact that they are reporting on, and they can claim to be (among) the creators of that contribution.

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. Details on the submission process and formatting instructions are provided on the KR 2026 website.

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 2026 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work.

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