Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change

Alexander Hahn 0001. Equivalence and Splitting Techniques for Ranking Functions in Knowledge Representation and Belief Change. In 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, pages 7-13, CEUR-WS.org, 2025. [doi]

Abstract

Abstract is missing.