| 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|