A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.

Yongmei Liu, Hector J. Levesque

Browse the full IJCAI paper archive.