Syntax Splitting for Iterated Contractions

Jonas Philipp Haldimann, Gabriele Kern-Isberner, Christoph Beierle. Syntax Splitting for Iterated Contractions. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 465-475, 2020. [doi]

Abstract

Abstract is missing.