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.
We invite submissions of papers on all aspects of the development, deployment, and evaluation of KR tools and techniques to solve application problems, including:
Can be found on the respective page.
Similarly as for the KR 2024 Main Track, both regular papers (9 pages excluding references) and short papers (4 pages excluding references) are welcome. Submissions must be prepared and submitted according to the authors' guidelines on the submission page.
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 2024 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 CMT conference system: https://cmt3.research.microsoft.com/KR2024/. 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.
Can be found on the respective page.
Inquiries should be sent by email to kr2024.wild@cse.unsw.edu.au and will be handled by the KR in the Wild Track chairs: