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

@inproceedings{giacomo97reasoning, abstract = {As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency ...}, address = {Nagoya}, author = {De Giacomo, Giuseppe and Lesperance, Yves and Levesque, Hector J.}, booktitle = {Proceedings of the Fifteenth International JointConference on AI (IJCAI'97)}, citeulike-article-id = {422030}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.558}, keywords = {depth}, month = {August}, pages = {1221--1226}, posted-at = {2005-12-05 08:01:21}, priority = {5}, title = {Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.558}, year = {1997} }

TY - CONF ID - giacomo97reasoning L3 - citeulike-article-id:422030 N2 - As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a programming language is presented and illustrated with a detailed example. The language includes facilities for prioritizing the concurrent execution, interrupting the execution when certain conditions become true, and dealing with exogenous actions. The language differs from other procedural formalisms for concurrency ... AD - Nagoya EP - 1226 TI - Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus T2 - Proceedings of the Fifteenth International JointConference on AI (IJCAI'97) SP - 1221 KW - depth AU - De Giacomo, Giuseppe AU - Lesperance, Yves AU - Levesque, Hector PY - 1997/08// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.558 ER -