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

Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 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 2025
KR 2025 Doctoral Consortium

Proceedings of the Doctoral Consortium of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR-DC 2025) co-located with KR 2025

November 11-17, 2025, Melbourne, Australia.

Edited by

Shqiponja Ahmetaj 1
Kai Sauerwald 2

1 TU Wien, Austria
2 FernUniversität in Hagen, Germany

Table of Contents

Preface i-ii
Programme committee iii

Papers

Towards Weak Assumption-Based Argumentation 1–6
Lydia Blümel
Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change 7–13
Alexander Hahn
Automatically Verifying and Repairing General Game Descriptions 14–19
Yifan He
A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract) 20–24
Robin Jean
Practical Planning with Ontologies 25–32
Duy Nhu
Integrating Ontology and Graph Neural Network for Explainable Malware Detection 33–38
Monday Onoja
Assessing the Quality of Samplers: A Statistical Distance Framework 39–44
Uddalok Sarkar
Efficient Volume Computation for SMT Formulas 45–51
Arijit Shaw
Splitting Techniques for Conditional Belief Bases for Nonmonotonic Reasoning 52–57
Lars-Phillip Spiegel
Towards Transparent Recommender Systems via Argumentation Frameworks 58–64
Elena Stefancova

2025-10-24: submitted by Kai Sauerwald, metadata incl. bibliographic data published under Creative Commons CC0
2025-10-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|