G. Neelakantan Kartha, Vladimir Lifschitz. A Simple Formalization of Actions Using Circumscription. In IJCAI. pages 1970-1977, 1995.
@inproceedings{KarthaL95, title = {A Simple Formalization of Actions Using Circumscription}, author = {G. Neelakantan Kartha and Vladimir Lifschitz}, year = {1995}, researchr = {https://researchr.org/publication/KarthaL95}, cites = {0}, citedby = {0}, pages = {1970-1977}, booktitle = {IJCAI}, }