@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}
}

{"_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":{}}},"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"]}