A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases. In Alessandro Antonucci, Laurence Cholvy, Odile Papini, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. Volume 10369 of Lecture Notes in Computer Science, pages 236-245, Springer, 2017. [doi]

The following publications are possibly variants of this publication:

On Transformations and Normal Forms of Conditional Knowledge BasesChristoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner. ieaaie 2017: 488-494 [doi]

Transforming Conditional Knowledge Bases into Renaming Normal FormChristoph Beierle, Jonas Haldimann. flairs 2020: 563-568 [doi]

On the Antecedent Normal Form of Conditional Knowledge BasesChristoph Beierle, Steven Kutsch. ecsqaru 2019: 175-186 [doi]

Inferential equivalence, normal forms, and isomorphisms of knowledge bases in institutions of conditional logicsChristoph Beierle. SAC 2019: 1131-1138 [doi]

Normal Forms of Conditional Knowledge Bases Respecting Entailments and RenamingsChristoph Beierle, Jonas Haldimann. foiks 2020: 22-41 [doi]

A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small SignaturesChristoph Beierle, Jonas Haldimann, Steven Kutsch. flairs 2021: [doi]

Normal forms of conditional knowledge bases respecting system P-entailments and signature renamingsChristoph Beierle, Jonas Haldimann. AMAI, 90(2):149-179, 2022. [doi]

runs on WebDSL