<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <abstract>
        <p>This volume constitutes the proceedings of the Doctoral Consortium of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. The doctoral consortium took place as part of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) in Melbourne, Australia, in the time of November 11-17, 2025. The Doctoral Consortium (DC) is a student mentoring program designed to bring together PhD students and senior researchers from the area of KR. The primary aims of the consortium are: • to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; • to promote contacts among PhD students working in similar areas; • to support students with information and advice on academic, research, and industrial careers.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Towards Weak Assumption-Based Argumentation — Lydia Bul¨mel</title>
      <p>2. Equivalence and Splitting Techniques for Ranking Functions in Knowledge
Representation and Belief Change — Alexander Hahn
3. Automatically Verifying and Repairing General Game Descriptions — Yifan He
4. A Rule-Based Approach to Specifying Preferences over Conflicting Facts and</p>
      <p>Querying Inconsistent Knowledge Bases (Extended Abstract) — Robin Jean</p>
    </sec>
    <sec id="sec-2">
      <title>5. Practical Planning with Ontologies — Duy Nhu</title>
      <p>We sincerely thank all mentors and reviewers for their thoughtful feedback and
dedication to supporting the next generation of KR researchers. We also thank the
KR 2025 organizers, and the Local Arrangement Chairs for their help in making the
Doctoral Consortium possible.</p>
    </sec>
    <sec id="sec-3">
      <title>KR 2025 Doctoral Consortium Chairs</title>
      <sec id="sec-3-1">
        <title>Shqiponja Ahmetaj</title>
      </sec>
      <sec id="sec-3-2">
        <title>Kai Sauerwald</title>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>KR 2025 General Chair</title>
      <sec id="sec-4-1">
        <title>Magdalena Ortiz</title>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>KR 2025 Local Arrangement Chairs</title>
      <sec id="sec-5-1">
        <title>Son Tran</title>
      </sec>
      <sec id="sec-5-2">
        <title>Richard Dazeley</title>
      </sec>
      <sec id="sec-5-3">
        <title>Xiao Liu</title>
      </sec>
      <sec id="sec-5-4">
        <title>Patanamon Thongtanunam</title>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          6.
          <string-name>
            <given-names>Integrating</given-names>
            <surname>Ontology</surname>
          </string-name>
          and
          <article-title>Graph Neural Network for Explainable Malware Detection - Monday Onoja</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <article-title>7. Assessing the Quality of Samplers: A Statistical Distance Framework - Uddalok Sarkar</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          8.
          <string-name>
            <given-names>Eficient</given-names>
            <surname>Volume</surname>
          </string-name>
          <article-title>Computation for SMT Formulas - Arijit Shaw</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          9.
          <string-name>
            <surname>Splitting</surname>
          </string-name>
          <article-title>Techniques for Conditional Belief Bases for Nonmonotonic Reasoning - Lars-Phillip Spiegel</article-title>
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>10. Towards Transparent Recommender Systems via Argumentation Frameworks - Elena Stefancova</mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>