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

researchr

You are not signed in
Sign in
Sign up

Shqiponja Ahmetaj, Kai Sauerwald, editors, 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. Volume 4078 of CEUR Workshop Proceedings, CEUR-WS.org, 2025. [doi]

Conference: kr2025

Abstract is missing.

Towards Weak Assumption-Based ArgumentationLydia Blümel. 1-6 [doi]

Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief ChangeAlexander Hahn 0001. 7-13 [doi]

Automatically Verifying and Repairing General Game DescriptionsYifan He. 14-19 [doi]

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract)Robin Jean. 20-24 [doi]

Practical Planning with OntologiesDuy Nhu. 25-32 [doi]

Integrating Ontology and Graph Neural Network for Explainable Malware DetectionMonday Onoja. 33-38 [doi]

Assessing the Quality of Samplers: A Statistical Distance FrameworkUddalok Sarkar. 39-44 [doi]

Efficient Volume Computation for SMT FormulasArijit Shaw. 45-51 [doi]

Splitting Techniques for Conditional Belief Bases for Nonmonotonic ReasoningLars-Phillip Spiegel. 52-57 [doi]

Towards Transparent Recommender Systems via Argumentation FrameworksElena Stefancova. 58-64 [doi]

runs on WebDSL