@InProceedings{Kelley96a,
  Title                    = {Reasoning about physical systems with the situation
 calculus},
  Author                   = {Kelley, T.},
  Booktitle                = {Proc. of the Third Symposium on Logical Formalizations
 of Commonsense Reasoning},
  Year                     = {1996},

  Address                  = {Stanford, CA},
  Month                    = {Jan},

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

{"_id":{"_str":"5342b4520e946d920a003313"},"__v":6,"authorIDs":["5496d8bcd2d96cd67700220c"],"author_short":["Kelley, T."],"bibbaseid":"kelley-reasoningaboutphysicalsystemswiththesituationcalculus-1996","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Reasoning about physical systems with the situation calculus","author":[{"propositions":[],"lastnames":["Kelley"],"firstnames":["T."],"suffixes":[]}],"booktitle":"Proc. of the Third Symposium on Logical Formalizations of Commonsense Reasoning","year":"1996","address":"Stanford, CA","month":"Jan","file":"toilet.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/toilet.pdf:PDF;toilet.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/toilet.ps:PostScript","key":"Kelley96a","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/toilet.ps.gz","timestamp":"2018.09.23","url":"toilet.pdf","bibtex":"@InProceedings{Kelley96a,\n Title = {Reasoning about physical systems with the situation\n calculus},\n Author = {Kelley, T.},\n Booktitle = {Proc. of the Third Symposium on Logical Formalizations\n of Commonsense Reasoning},\n Year = {1996},\n\n Address = {Stanford, CA},\n Month = {Jan},\n\n File = {toilet.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/toilet.pdf:PDF;toilet.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/toilet.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/toilet.ps.gz},\n Timestamp = {2018.09.23},\n Url = {toilet.pdf}\n}\n\n","author_short":["Kelley, T."],"id":"Kelley96a","bibbaseid":"kelley-reasoningaboutphysicalsystemswiththesituationcalculus-1996","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/toilet.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["reasoning","physical","systems","situation","calculus","kelley"],"title":"Reasoning about physical systems with the situation calculus","year":1996,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}