Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.

Marco Wilhelm*, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review


Splitting belief bases is fundamental for efficient reasoning and for better understanding interrelationships among the knowledge entities. In this paper, we survey the most important splitting techniques for conditional belief bases in the context of c-representations which constitute a specific class of ranking models with outstanding behavior not only with respect to belief base splitting, as shown in recent papers. We provide a splitting hierarchy, in particular by proving that safe conditional syntax splittings and case splittings are so-called CSP-constraint splittings. We advance the level of knowledge about CSP-constraint splittings and present an algorithm for computing CSP-constraint splittings.
Original languageEnglish
Title of host publicationLogics in Artificial Intelligence
Subtitle of host publication18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
EditorsSarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Magdalena Ortiz
PublisherSpringer, Cham
ISBN (Electronic)978-3-031-43619-2
ISBN (Print)978-3-031-43618-5
Publication statusPublished - 24 Sept 2023
Event18th European Conference on Logics in Artificial Intelligence: JELIA 2023 - Dresden, Germany
Duration: 20 Sept 202322 Sept 2023

Publication series

SeriesLecture Notes in Computer Science


Conference18th European Conference on Logics in Artificial Intelligence
Internet address

Cite this