The following papers will be presented at the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR'25):

Main track

  • Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
    Damiano Azzolini and Markus Hecher

  • FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
    Alexander Beiser, Martin Gebser, Markus Hecher and Stefan Woltran

  • Counting Solutions under Cardinality Constraints: Structure Counts in Counting
    Max Bannach and Markus Hecher

KR and constraints track

  • Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation
    Jean Marie Lagniez, Emmanuel Lonca and Jean-Guy Mailly

KR in the wild track

  • An Embarrassingly Parallel Model Counter
    Zhenghang Xu, Minghao Yin and Jean Marie Lagniez

  • Interactive Exploration of Plan Spaces
    Daniel Gnad, Markus Hecher, Sarah Gaggl, Dominik Rusovac, David Jakob Speck and Johannes K. Fichte