@InCollection{Lesperance94a,
  Title                    = {A Logical Approach to High-Level Robot Programming. A
 Progress Report},
  Author                   = {Lesp{\'e}rance, Yves and Levesque, Hector J. and Lin,
 Fangzhen and Marcu, Daniel and Reiter, Raymond and
 Scherl, Richard B.},
  Booktitle                = {Control of the Physical World by Intelligent Systems,
 Papers from the 1994 AAAI Fall Symposium},
  Publisher                = {Benjamin Kuipers},
  Year                     = {1994},

  Address                  = {New Orlands, L.A.},
  Month                    = {November},

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

{"_id":{"_str":"5342b4520e946d920a0032f3"},"__v":189,"authorIDs":["5456f4cc8b01c819300000ad","54573f5f2abc8e9f37000208","545767712abc8e9f37000374","54594cc9b43425b77200045e","54595b5eb43425b7720004ab","545aa113b43425b77200103d","5e3902d7dc5b8ade010000a8","5e3902f4dc5b8ade010000a9","7i58WkympYMAymedx","HKYWGwQsWsEQeD2pP","RmQT3J2e7NKqkbbbe","yqCMzqTg8XXdRCHgn"],"author_short":["Lespérance, Y.","Levesque, H. J.","Lin, F.","Marcu, D.","Reiter, R.","Scherl, R. B."],"bibbaseid":"lesprance-levesque-lin-marcu-reiter-scherl-alogicalapproachtohighlevelrobotprogrammingaprogressreport-1994","bibdata":{"bibtype":"incollection","type":"incollection","title":"A Logical Approach to High-Level Robot Programming. A Progress Report","author":[{"propositions":[],"lastnames":["Lespérance"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]},{"propositions":[],"lastnames":["Lin"],"firstnames":["Fangzhen"],"suffixes":[]},{"propositions":[],"lastnames":["Marcu"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Raymond"],"suffixes":[]},{"propositions":[],"lastnames":["Scherl"],"firstnames":["Richard","B."],"suffixes":[]}],"booktitle":"Control of the Physical World by Intelligent Systems, Papers from the 1994 AAAI Fall Symposium","publisher":"Benjamin Kuipers","year":"1994","address":"New Orlands, L.A.","month":"November","file":"robotprog.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/robotprog.pdf:PDF;robotprog.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps:PostScript","key":"Lesperance94a","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps.gz","timestamp":"2018.09.23","url":"robotprog.pdf","bibtex":"@InCollection{Lesperance94a,\n Title = {A Logical Approach to High-Level Robot Programming. A\n Progress Report},\n Author = {Lesp{\\'e}rance, Yves and Levesque, Hector J. and Lin,\n Fangzhen and Marcu, Daniel and Reiter, Raymond and\n Scherl, Richard B.},\n Booktitle = {Control of the Physical World by Intelligent Systems,\n Papers from the 1994 AAAI Fall Symposium},\n Publisher = {Benjamin Kuipers},\n Year = {1994},\n\n Address = {New Orlands, L.A.},\n Month = {November},\n\n File = {robotprog.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/robotprog.pdf:PDF;robotprog.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/robotprog.ps.gz},\n Timestamp = {2018.09.23},\n Url = {robotprog.pdf}\n}\n\n","author_short":["Lespérance, Y.","Levesque, H. J.","Lin, F.","Marcu, D.","Reiter, R.","Scherl, R. B."],"id":"Lesperance94a","bibbaseid":"lesprance-levesque-lin-marcu-reiter-scherl-alogicalapproachtohighlevelrobotprogrammingaprogressreport-1994","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/robotprog.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"incollection","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["logical","approach","high","level","robot","programming","progress","report","lespérance","levesque","lin","marcu","reiter","scherl"],"title":"A Logical Approach to High-Level Robot Programming. A Progress Report","year":1994,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}