Les papiers suivants seront présentés à la 22ème conférence internationale sur la représentation des connaissances et raisonnements (KR'25) :

Conférence principale

  • 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

Représentation des connaissances et contraintes

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

Représentation des connaissances à l’état sauvage

  • 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