Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @inproceedings{DBLP:conf/ijcai/GiacomoLL97, title={Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}, pages={1221-1226}, year={1997}, booktitle={IJCAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai97.html#GiacomoLL97}, author={Giuseppe De Giacomo and Yves Lespérance and Hector J. Levesque} }\end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/Reasoning_about_Concurrent_Execution_Prioritized_Interrupts%2C_and_Exogenous_Actions_in_the_Situation_Calculus"
Personal tools