A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.

Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner

Browse the full ECSQARU paper archive.