A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures.

Christoph Beierle, Jonas Haldimann, Steven Kutsch

Browse the full FlAIRS paper archive.