Liu and Levesque. "Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions." International Joint Conference on Artificial Intelligence, 2005.
Markdown
[Liu and Levesque. "Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/liu2005ijcai-tractable/)
BibTeX
@inproceedings{liu2005ijcai-tractable,
title = {{Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions}},
author = {Liu, Yongmei and Levesque, Hector J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {522-527},
url = {https://mlanthology.org/ijcai/2005/liu2005ijcai-tractable/}
}