Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 827-832, IJCAI/AAAI, 2011. [doi]
Abstract is missing.