Vol-4218
urn:nbn:de:0074-4218-x

Copyright © 2026 for the individual papers by the papers' authors. Copyright © 2026 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

KR-DC 2026
KR 2026 Doctoral Consortium

Proceedings of the Doctoral Consortium at the 23rd International Conference on Principles of Knowledge Representation and Reasoning, co-located with KR 2026

July 20-23, 2026, Lisbon, Portugal.

Edited by

David Carral 1
Munyque Mittelmann 2

1 LIRMM, Inria, University of Montpellier, CNRS, France
2 LIPN, CNRS, Université Sorbonne Paris Nord, France

Table of Contents

Preface i-ii
Programme committee iii

Papers

ASP Encodings for the Multi Batching Problem in Logistics Networks 1–8
Racquel Dennison
Graphical representations of KLM-style defeasible justifications for propositional logic 9–13
Jane Imrie
Toward a Defeasible Semantics for Symbolic Classifiers 14–21
Ruvarashe Madzime
Integrating and Reasoning with Data-Induced Information: Knowledge Bases of Axioms and Learned Models 22–28
Laura Papi
Predictive Control of BDD Growth: Reinforcement Learning for Dynamic Variable Reordering 29–35
Luke Slater
Generalization in Reinforcement Learning from Logical Specifications 36–43
Vignesh Subramanian
A framework for Counterfactual Explainability in Graph Neural Networks 44–49
Maria Myrto Villia
Practical Methods for Concept Interpolation in Realistic Ontologies 50–57
Xiaoshuang Yang

2026-06-30: submitted by Munyque Mittelmann, metadata incl. bibliographic data published under Creative Commons CC0
2026-06-30: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|