Call for Papers: KR and Constraints

As a complement to the traditional KR Main track, the KR and Constraints track aims to showcase successful integrations between KR and Constraints techniques (CP, SAT, ASP, MILP,...).

Towards these goals, the KR and Constraints Track welcomes contributions from areas that are sometimes considered as not core KR research. This includes (but is not restricted to) the use of constraint techniques to help solve KR-specific problems or the application of KR techniques to aid the solving of constraint-specific problems. As further goals, the track aims to foster interactions between members of the two communities, encourage 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 integrating constraints and KR techniques, including but not limited to:

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 and Constraints 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 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 use of or integration with constraint programming systems; quality of empirical evaluation; and availability of resources (data, benchmarks, implementation, etc).

Inquiries

Inquiries should be sent by email to kr2025-constraints@easychair.org and will be handled by the KR and Constraints Track chairs: