A Simple Formalization of Actions Using Circumscription

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/KarthaL95, title={A Simple Formalization of Actions Using Circumscription}, pages={1970-1977}, year={1995}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai95.html#KarthaL95}, author={G. Neelakantan Kartha and Vladimir Lifschitz} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Simple_Formalization_of_Actions_Using_Circumscription"
Personal tools