Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang. Definability of Horn Revision from Horn Contraction. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 1205-1212, IJCAI/AAAI, 2013. [doi]
Abstract is missing.