Liu and Levesque. "A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases." International Joint Conference on Artificial Intelligence, 2003.
Markdown
[Liu and Levesque. "A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/liu2003ijcai-tractability/)
BibTeX
@inproceedings{liu2003ijcai-tractability,
title = {{A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases}},
author = {Liu, Yongmei and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2003},
pages = {83-88},
url = {https://mlanthology.org/ijcai/2003/liu2003ijcai-tractability/}
}