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

Main track

  • Counting Complexity of ASP
    M. Bannach, J. Fichte, J. Groven, M. Hecher

  • Expressiveness of Epistemic Spaces for Iterated Belief Change Operators
    N. Schwind, S. Konieczny, R. Perez

  • Truth-Tracking by Iterated Belief Change
    N. Schwind, P. Everaere, S. Konieczny

  • Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks
    J. Thieyre, A. Beynier, S. Destercke, N. Maudet, S. Vesic

  • Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
    U. Bartal, D. Fried, J. Lagniez

KR meets Machine Learning and Explanation

  • A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees
    G. Audemard, S. Coste-Marquis, P. Marquis, M. SABIRI, N. Szczepanski

KR in the wild

  • A Distributed Framework for Compiling and Reasoning with d-DNNF
    Z. Xu, M. Yin, J. Wang, J. Lagniez