A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases

Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. In KR. pages 14-23, 1998.

Possibly Related Publications

The following publications are possibly variants of this publication: