Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. In KR. pages 14-23, 1998.
@inproceedings{Levesque98, title = {A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases}, author = {Hector J. Levesque}, year = {1998}, tags = {completeness}, researchr = {https://researchr.org/publication/Levesque98}, cites = {0}, citedby = {0}, pages = {14-23}, booktitle = {KR}, }