On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture

Vassos and Levesque. "On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture." AAAI Conference on Artificial Intelligence, 2008.

[Vassos and Levesque. "On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/vassos2008aaai-progression/)

@inproceedings{vassos2008aaai-progression,
  title     = {{On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture}},
  author    = {Vassos, Stavros and Levesque, Hector J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1004-1009},
  url       = {https://mlanthology.org/aaai/2008/vassos2008aaai-progression/}
}