@InProceedings{Kelley96b,
  Title                    = {Modeling complex systems in the situation calculus:
 {A} case study using the Dagstuhl steam boiler problem},
  Author                   = {Kelley, T.},
  Booktitle                = {In Principles of Knowledge Representation and
 Reasoning: Proceedings of the Fifth International
 Conference (KR'96)},
  Year                     = {1996},

  Address                  = {Cambridge, Massachusetts, U.S.A},
  Month                    = {November},

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

{"_id":{"_str":"5342b4520e946d920a003308"},"__v":4,"authorIDs":[],"author_short":["Kelley, T."],"bibbaseid":"kelley-modelingcomplexsystemsinthesituationcalculusacasestudyusingthedagstuhlsteamboilerproblem-1996","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem","author":[{"propositions":[],"lastnames":["Kelley"],"firstnames":["T."],"suffixes":[]}],"booktitle":"In Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR'96)","year":"1996","address":"Cambridge, Massachusetts, U.S.A","month":"November","file":"dagstuhl.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.pdf:PDF;dagstuhl.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps:PostScript","key":"Kelley96b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps.gz","timestamp":"2018.09.23","url":"dagstuhl.pdf","bibtex":"@InProceedings{Kelley96b,\n Title = {Modeling complex systems in the situation calculus:\n {A} case study using the Dagstuhl steam boiler problem},\n Author = {Kelley, T.},\n Booktitle = {In Principles of Knowledge Representation and\n Reasoning: Proceedings of the Fifth International\n Conference (KR'96)},\n Year = {1996},\n\n Address = {Cambridge, Massachusetts, U.S.A},\n Month = {November},\n\n File = {dagstuhl.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.pdf:PDF;dagstuhl.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dagstuhl.ps.gz},\n Timestamp = {2018.09.23},\n Url = {dagstuhl.pdf}\n}\n\n","author_short":["Kelley, T."],"id":"Kelley96b","bibbaseid":"kelley-modelingcomplexsystemsinthesituationcalculusacasestudyusingthedagstuhlsteamboilerproblem-1996","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/dagstuhl.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["modeling","complex","systems","situation","calculus","case","study","using","dagstuhl","steam","boiler","problem","kelley"],"title":"Modeling complex systems in the situation calculus: A case study using the Dagstuhl steam boiler problem","year":1996,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}