Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings

Christoph Beierle, Jonas Haldimann. Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings. In Andreas Herzig, Juha Kontinen, editors, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Volume 12012 of Lecture Notes in Computer Science, pages 22-41, Springer, 2020. [doi]

Abstract

Abstract is missing.