The following publications are possibly variants of this publication:
- Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relationsChristoph Beierle, Steven Kutsch, Kai Sauerwald. AMAI, 87(1-2):5-41, 2019. [doi]
- Computation of Closures of Nonmonotonic Inference Relations Induced by Conditional Knowledge BasesSteven Kutsch, Christoph Beierle. ecsqaru 2019: 226-237 [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]
- Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problemChristoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner, Steven Kutsch. AMAI, 83(3-4):247-275, 2018. [doi]