ML Anthology

A Formalization of Program Debugging in the Situation Calculus

Yongmei Liu
AAAI 2008 pp. 486-491
/aaai/2008/liu2008aaai-formalization/
PDF AAAI Semantic Scholar

Cite

Text

Liu. "A Formalization of Program Debugging in the Situation Calculus." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Liu. "A Formalization of Program Debugging in the Situation Calculus." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/liu2008aaai-formalization/)

BibTeX

@inproceedings{liu2008aaai-formalization,
  title     = {{A Formalization of Program Debugging in the Situation Calculus}},
  author    = {Liu, Yongmei},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {486-491},
  url       = {https://mlanthology.org/aaai/2008/liu2008aaai-formalization/}
}