ML Anthology

A Simple Formalization of Actions Using Circumscription

G. Neelakantan Kartha, Vladimir Lifschitz
IJCAI 1995 pp. 1970-1977
/ijcai/1995/kartha1995ijcai-simple/
PDF IJCAI Semantic Scholar

Cite

Text

Kartha and Lifschitz. "A Simple Formalization of Actions Using Circumscription." International Joint Conference on Artificial Intelligence, 1995.

Markdown

[Kartha and Lifschitz. "A Simple Formalization of Actions Using Circumscription." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/kartha1995ijcai-simple/)

BibTeX

@inproceedings{kartha1995ijcai-simple,
  title     = {{A Simple Formalization of Actions Using Circumscription}},
  author    = {Kartha, G. Neelakantan and Lifschitz, Vladimir},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {1970-1977},
  url       = {https://mlanthology.org/ijcai/1995/kartha1995ijcai-simple/}
}