@inproceedings{ijcai2005p67,
  title     = {Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions},
  author    = {Liu, Yongmei and Levesque, Hector J.},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {522--526},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/67},
}