@InProceedings{Giuseppe98-Monitoring,
  Title                    = {Execution Monitoring of High-Level Robot Programs},
  Author                   = {De Giacomo, Giuseppe and Reiter, Ray and Soutchanski,
 Mikhail},
  Booktitle                = {Proceedings of the 6th International Conference on
 Principles of Knowledge Representation and Reasoning
 (KR'98)},
  Year                     = {1998},
  Pages                    = {453--465},

  File                     = {monitoring.pdf:http\://www.cs.toronto.edu/cogrobo/Papers/monitoring.pdf:PDF;monitoring.ps:http\://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps:PostScript},
  Key                      = {CogRobo},
  Opturl                   = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps.gz},
  Timestamp                = {2018.09.23},
  Url                      = {monitoring.pdf}
}

{"_id":"ELWreGtLXqPkLbHa3","bibbaseid":"degiacomo-reiter-soutchanski-executionmonitoringofhighlevelrobotprograms-1998","downloads":0,"creationDate":"2016-01-06T16:35:17.578Z","title":"Execution Monitoring of High-Level Robot Programs","author_short":["De Giacomo, G.","Reiter, R.","Soutchanski, M."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Execution Monitoring of High-Level Robot Programs","author":[{"propositions":[],"lastnames":["De","Giacomo"],"firstnames":["Giuseppe"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]},{"propositions":[],"lastnames":["Soutchanski"],"firstnames":["Mikhail"],"suffixes":[]}],"booktitle":"Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98)","year":"1998","pages":"453–465","file":"monitoring.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/monitoring.pdf:PDF;monitoring.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps:PostScript","key":"Giuseppe98-Monitoring","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps.gz","timestamp":"2018.09.23","url":"monitoring.pdf","bibtex":"@InProceedings{Giuseppe98-Monitoring,\n Title = {Execution Monitoring of High-Level Robot Programs},\n Author = {De Giacomo, Giuseppe and Reiter, Ray and Soutchanski,\n Mikhail},\n Booktitle = {Proceedings of the 6th International Conference on\n Principles of Knowledge Representation and Reasoning\n (KR'98)},\n Year = {1998},\n Pages = {453--465},\n\n File = {monitoring.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/monitoring.pdf:PDF;monitoring.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/monitoring.ps.gz},\n Timestamp = {2018.09.23},\n Url = {monitoring.pdf}\n}\n\n","author_short":["De Giacomo, G.","Reiter, R.","Soutchanski, M."],"id":"Giuseppe98-Monitoring","bibbaseid":"degiacomo-reiter-soutchanski-executionmonitoringofhighlevelrobotprograms-1998","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/monitoring.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["execution","monitoring","high","level","robot","programs","de giacomo","reiter","soutchanski"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}