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

doi:10.1007/978-3-031-43619-2_32

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 proceeding › Conference Article in proceeding › Academic › peer-review

Abstract

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 language	English
Title of host publication	Logics in Artificial Intelligence
Subtitle of host publication	18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings
Editors	Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, Magdalena Ortiz
Publisher	Springer, Cham
Pages	462-477
ISBN (Electronic)	978-3-031-43619-2
ISBN (Print)	978-3-031-43618-5
DOIs	https://doi.org/10.1007/978-3-031-43619-2_32
Publication status	Published - 24 Sept 2023
Event	18th European Conference on Logics in Artificial Intelligence: JELIA 2023 - Dresden, Germany Duration: 20 Sept 2023 → 22 Sept 2023 https://jelia2023.inf.tu-dresden.de/

Publication series

Series	Lecture Notes in Computer Science
ISSN	0302-9743

Conference

Conference	18th European Conference on Logics in Artificial Intelligence
Country/Territory	Germany
City	Dresden
Period	20/09/23 → 22/09/23
Internet address	https://jelia2023.inf.tu-dresden.de/

Access to Document

10.1007/978-3-031-43619-2_32

Cite this

Wilhelm, M., Sezgin, M., Kern-Isberner, G., Haldimann, J., Beierle, C., & Heyninck, J. (2023). Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. In S. Gaggl, M. V. Martinez, M. Ortiz, & M. Ortiz (Eds.), Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (pp. 462-477). Springer, Cham. https://doi.org/10.1007/978-3-031-43619-2_32

Wilhelm, Marco ; Sezgin, Meliha ; Kern-Isberner, Gabriele et al. / Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. editor / Sarah Gaggl ; Maria Vanina Martinez ; Magdalena Ortiz ; Magdalena Ortiz. Springer, Cham, 2023. pp. 462-477 (Lecture Notes in Computer Science).

@inproceedings{4c36d2834aa4452ba3edd54a3bcc6a6f,

title = "Splitting Techniques for Conditional Belief Bases in the Context of c-Representations.",

abstract = "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.",

author = "Marco Wilhelm and Meliha Sezgin and Gabriele Kern-Isberner and Jonas Haldimann and Christoph Beierle and Jesse Heyninck",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; 18th European Conference on Logics in Artificial Intelligence : JELIA 2023 ; Conference date: 20-09-2023 Through 22-09-2023",

year = "2023",

month = sep,

day = "24",

doi = "10.1007/978-3-031-43619-2_32",

language = "English",

isbn = "978-3-031-43618-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Cham",

pages = "462--477",

editor = "Sarah Gaggl and Martinez, {Maria Vanina} and Magdalena Ortiz and Magdalena Ortiz",

booktitle = "Logics in Artificial Intelligence",

url = "https://jelia2023.inf.tu-dresden.de/",

}

Wilhelm, M, Sezgin, M, Kern-Isberner, G, Haldimann, J, Beierle, C & Heyninck, J 2023, Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. in S Gaggl, MV Martinez, M Ortiz & M Ortiz (eds), Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Springer, Cham, Lecture Notes in Computer Science, pp. 462-477, 18th European Conference on Logics in Artificial Intelligence, Dresden, Saxony, Germany, 20/09/23. https://doi.org/10.1007/978-3-031-43619-2_32

Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. / Wilhelm, Marco; Sezgin, Meliha; Kern-Isberner, Gabriele et al.
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. ed. / Sarah Gaggl; Maria Vanina Martinez; Magdalena Ortiz; Magdalena Ortiz. Springer, Cham, 2023. p. 462-477 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

AU - Wilhelm, Marco

AU - Sezgin, Meliha

AU - Kern-Isberner, Gabriele

AU - Haldimann, Jonas

AU - Beierle, Christoph

AU - Heyninck, Jesse

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2023/9/24

Y1 - 2023/9/24

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-031-43619-2_32

DO - 10.1007/978-3-031-43619-2_32

M3 - Conference Article in proceeding

SN - 978-3-031-43618-5

T3 - Lecture Notes in Computer Science

SP - 462

EP - 477

BT - Logics in Artificial Intelligence

A2 - Gaggl, Sarah

A2 - Martinez, Maria Vanina

A2 - Ortiz, Magdalena

PB - Springer, Cham

T2 - 18th European Conference on Logics in Artificial Intelligence

Y2 - 20 September 2023 through 22 September 2023

ER -

Wilhelm M, Sezgin M, Kern-Isberner G, Haldimann J, Beierle C, Heyninck J. Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. In Gaggl S, Martinez MV, Ortiz M, Ortiz M, editors, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Springer, Cham. 2023. p. 462-477. (Lecture Notes in Computer Science). doi: 10.1007/978-3-031-43619-2_32

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this