@Article{Reiter01,
  Title                    = {On Knowledge-Based Programming with Sensing in the
 Situation Calculus},
  Author                   = {Reiter, Ray},
  Journal                  = {ACM Transactions on Computational Logic (TOCL)},
  Year                     = {2001},

  Month                    = {October},
  Number                   = {4},
  Pages                    = {433--457},
  Volume                   = {2},

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

{"_id":{"_str":"5342b4520e946d920a0032c6"},"__v":5,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-onknowledgebasedprogrammingwithsensinginthesituationcalculus-2001","bibdata":{"bibtype":"article","type":"article","title":"On Knowledge-Based Programming with Sensing in the Situation Calculus","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"journal":"ACM Transactions on Computational Logic (TOCL)","year":"2001","month":"October","number":"4","pages":"433–457","volume":"2","file":"kbprogramming.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.pdf:PDF;kbprogramming.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps:PostScript","key":"Reiter01","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps.gz","timestamp":"2018.09.23","url":"kbprogramming.pdf","bibtex":"@Article{Reiter01,\n Title = {On Knowledge-Based Programming with Sensing in the\n Situation Calculus},\n Author = {Reiter, Ray},\n Journal = {ACM Transactions on Computational Logic (TOCL)},\n Year = {2001},\n\n Month = {October},\n Number = {4},\n Pages = {433--457},\n Volume = {2},\n\n File = {kbprogramming.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.pdf:PDF;kbprogramming.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps.gz},\n Timestamp = {2018.09.23},\n Url = {kbprogramming.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter01","bibbaseid":"reiter-onknowledgebasedprogrammingwithsensinginthesituationcalculus-2001","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/kbprogramming.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["knowledge","based","programming","sensing","situation","calculus","reiter"],"title":"On Knowledge-Based Programming with Sensing in the Situation Calculus","year":2001,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}