What are the Limitations of the Situation Calculus?

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/birthday/GelfondLR91,

 author    = {Michael Gelfond and
              Vladimir Lifschitz and
              Arkady Rabinov},
 title     = {What are the Limitations of the Situation Calculus?},
 booktitle = {Automated Reasoning: Essays in Honor of Woody Bledsoe},
 year      = {1991},
 pages     = {167-180},
 bibsource = {DBLP, http://dblp.uni-trier.de}

}

\end{bibtex}