Transforming Conditional Knowledge Bases into Renaming Normal Form

Christoph Beierle, Jonas Haldimann. Transforming Conditional Knowledge Bases into Renaming Normal Form. In Roman Barták, Eric Bell, editors, Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, Originally to be held in North Miami Beach, Florida, USA, May 17-20, 2020. pages 563-568, AAAI Press, 2020. [doi]

Abstract

Abstract is missing.