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.
Abstract is missing.