


default search action
22nd KR 2025: Melbourne, Australia - Doctoral Consortium
- Shqiponja Ahmetaj

, Kai Sauerwald
:
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. CEUR Workshop Proceedings 4078, CEUR-WS.org 2025 - Lydia Blümel:

Towards Weak Assumption-Based Argumentation. 1-6 - Alexander Hahn:

Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change. 7-13 - Yifan He:

Automatically Verifying and Repairing General Game Descriptions. 14-19 - Robin Jean:

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases (Extended Abstract). 20-24 - Duy Nhu:

Practical Planning with Ontologies. 25-32 - Monday Onoja:

Integrating Ontology and Graph Neural Network for Explainable Malware Detection. 33-38 - Uddalok Sarkar:

Assessing the Quality of Samplers: A Statistical Distance Framework. 39-44 - Arijit Shaw:

Efficient Volume Computation for SMT Formulas. 45-51 - Lars-Phillip Spiegel:

Splitting Techniques for Conditional Belief Bases for Nonmonotonic Reasoning. 52-57 - Elena Stefancova:

Towards Transparent Recommender Systems via Argumentation Frameworks. 58-64

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID







last updated on 2026-07-04 00:24 CEST by the 







