@TechReport{DeGiacomo98,
  Title                    = {An incremental interpreter for high-level programs
 with sensing},
  Author                   = {De Giacomo, G. and Levesque, H. J.},
  Institution              = {Department of Computer Science, University of Toronto},
  Year                     = {1998},

  Address                  = {Toronto, Canada},

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

{"_id":"58i6kktZ4MZbZgQ5f","bibbaseid":"degiacomo-levesque-anincrementalinterpreterforhighlevelprogramswithsensing-1998","downloads":0,"creationDate":"2016-01-06T16:35:17.278Z","title":"An incremental interpreter for high-level programs with sensing","author_short":["De Giacomo, G.","Levesque, H. J."],"year":1998,"bibtype":"techreport","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"techreport","type":"techreport","title":"An incremental interpreter for high-level programs with sensing","author":[{"propositions":[],"lastnames":["De","Giacomo"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["H.","J."],"suffixes":[]}],"institution":"Department of Computer Science, University of Toronto","year":"1998","address":"Toronto, Canada","file":"incr-exe.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/incr-exe.pdf:PDF;incr-exe.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps:PostScript","key":"DeGiacomo98","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps.gz","timestamp":"2018.09.23","url":"incr-exe.pdf","bibtex":"@TechReport{DeGiacomo98,\n Title = {An incremental interpreter for high-level programs\n with sensing},\n Author = {De Giacomo, G. and Levesque, H. J.},\n Institution = {Department of Computer Science, University of Toronto},\n Year = {1998},\n\n Address = {Toronto, Canada},\n\n File = {incr-exe.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/incr-exe.pdf:PDF;incr-exe.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/incr-exe.ps.gz},\n Timestamp = {2018.09.23},\n Url = {incr-exe.pdf}\n}\n\n","author_short":["De Giacomo, G.","Levesque, H. J."],"id":"DeGiacomo98","bibbaseid":"degiacomo-levesque-anincrementalinterpreterforhighlevelprogramswithsensing-1998","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/incr-exe.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["incremental","interpreter","high","level","programs","sensing","de giacomo","levesque"],"keywords":[],"authorIDs":["w4t3wcFdcECFD2TSt"],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}