A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. Liu, Y. & Levesque, H. In Proc. IJCAI-03, pages 83–88, Acapulco, Mexico, August, 2003.
A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases [pdf]Paper  bibtex   

Downloads: 0