Liu and Levesque. "Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information." AAAI Conference on Artificial Intelligence, 2005.
Markdown
[Liu and Levesque. "Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/liu2005aaai-tractable/)
BibTeX
@inproceedings{liu2005aaai-tractable,
title = {{Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information}},
author = {Liu, Yongmei and Levesque, Hector J.},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2005},
pages = {639-644},
url = {https://mlanthology.org/aaai/2005/liu2005aaai-tractable/}
}