@InProceedings{Reiter92a,
  Title                    = {The Projection Problem in the Situation Calculus: A
 Soundness and Completeness Result, with and Application
 to Database Updates},
  Author                   = {Reiter, Raymond},
  Booktitle                = {Proceedings of the First International Conference on
 AI Planning Systems},
  Year                     = {1992},

  Address                  = {College Park, Maryland},
  Month                    = {June 15-17},
  Pages                    = {198--203},

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

{"_id":{"_str":"5342b4520e946d920a0032cc"},"__v":8,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-theprojectionprobleminthesituationcalculusasoundnessandcompletenessresultwithandapplicationtodatabaseupdates-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with and Application to Database Updates","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Raymond"],"suffixes":[]}],"booktitle":"Proceedings of the First International Conference on AI Planning Systems","year":"1992","address":"College Park, Maryland","month":"June 15-17","pages":"198–203","file":"planconf.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/planconf.pdf:PDF;planconf.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/planconf.ps:PostScript","key":"Reiter92a","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/planconf.ps.gz","timestamp":"2018.09.23","url":"planconf.pdf","bibtex":"@InProceedings{Reiter92a,\n Title = {The Projection Problem in the Situation Calculus: A\n Soundness and Completeness Result, with and Application\n to Database Updates},\n Author = {Reiter, Raymond},\n Booktitle = {Proceedings of the First International Conference on\n AI Planning Systems},\n Year = {1992},\n\n Address = {College Park, Maryland},\n Month = {June 15-17},\n Pages = {198--203},\n\n File = {planconf.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/planconf.pdf:PDF;planconf.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/planconf.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/planconf.ps.gz},\n Timestamp = {2018.09.23},\n Url = {planconf.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter92a","bibbaseid":"reiter-theprojectionprobleminthesituationcalculusasoundnessandcompletenessresultwithandapplicationtodatabaseupdates-1992","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/planconf.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":[],"search_terms":["projection","problem","situation","calculus","soundness","completeness","result","application","database","updates","reiter"],"title":"The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with and Application to Database Updates","year":1992,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}