Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. De Giacomo, G., Lespérance, Y., & Levesque, H. In Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97), pages 1221–1226, Nagoya, August, 1997. Paper bibtex 1 download @InProceedings{Giuseppe97-ConGolog1,
Title = {Reasoning About Concurrent Execution, Prioritized
Interrupts, and Exogenous Actions in the Situation
Calculus},
Author = {De Giacomo, Giuseppe and Lesp\'erance, Yves and
Levesque, Hector},
Booktitle = {Proceedings of the Fifteenth International Joint
Conference on AI (IJCAI-97)},
Year = {1997},
Address = {Nagoya},
Month = {August},
Pages = {1221--1226},
File = {congologIJCAI97.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.pdf:PDF;congologIJCAI97.ps:http\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps:PostScript},
Key = {CogRobo},
Keywords = {Golog},
Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps.gz},
Timestamp = {2018.09.23},
Url = {congologIJCAI97.pdf}
}
Downloads: 1
{"_id":{"_str":"52366a7ed0cc4d862500000d"},"__v":0,"authorIDs":["54573f5f2abc8e9f37000208","545aa113b43425b77200103d","5469c3b2bc7d6a460d0014f4","5e3902d7dc5b8ade010000a8","5e3902f4dc5b8ade010000a9","7i58WkympYMAymedx","HKYWGwQsWsEQeD2pP","RmQT3J2e7NKqkbbbe","yqCMzqTg8XXdRCHgn"],"author_short":["De Giacomo, G.","Lespérance, Y.","Levesque, H."],"bibbaseid":"degiacomo-lesprance-levesque-reasoningaboutconcurrentexecutionprioritizedinterruptsandexogenousactionsinthesituationcalculus-1997","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus","author":[{"propositions":[],"lastnames":["De","Giacomo"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Lespérance"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector"],"suffixes":[]}],"booktitle":"Proceedings of the Fifteenth International Joint Conference on AI (IJCAI-97)","year":"1997","address":"Nagoya","month":"August","pages":"1221–1226","file":"congologIJCAI97.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.pdf:PDF;congologIJCAI97.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps:PostScript","key":"Giuseppe97-ConGolog1","keywords":"Golog","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps.gz","timestamp":"2018.09.23","url":"congologIJCAI97.pdf","bibtex":"@InProceedings{Giuseppe97-ConGolog1,\n Title = {Reasoning About Concurrent Execution, Prioritized\n Interrupts, and Exogenous Actions in the Situation\n Calculus},\n Author = {De Giacomo, Giuseppe and Lesp\\'erance, Yves and\n Levesque, Hector},\n Booktitle = {Proceedings of the Fifteenth International Joint\n Conference on AI (IJCAI-97)},\n Year = {1997},\n\n Address = {Nagoya},\n Month = {August},\n Pages = {1221--1226},\n\n File = {congologIJCAI97.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.pdf:PDF;congologIJCAI97.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps:PostScript},\n Key = {CogRobo},\n Keywords = {Golog},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/congologIJCAI97.ps.gz},\n Timestamp = {2018.09.23},\n Url = {congologIJCAI97.pdf}\n}\n\n","author_short":["De Giacomo, G.","Lespérance, Y.","Levesque, H."],"id":"Giuseppe97-ConGolog1","bibbaseid":"degiacomo-lesprance-levesque-reasoningaboutconcurrentexecutionprioritizedinterruptsandexogenousactionsinthesituationcalculus-1997","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/congologIJCAI97.pdf"},"keyword":["Golog"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"search_terms":["reasoning","concurrent","execution","prioritized","interrupts","exogenous","actions","situation","calculus","de giacomo","lespérance","levesque"],"title":"Reasoning About Concurrent Execution, Prioritized Interrupts, and Exogenous Actions in the Situation Calculus","year":1997,"keywords":["golog"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}