@InCollection{Reiter91-SolFP,
  Title                    = {The Frame Problem in the Situation Calculus: A Simple
 Solution (sometimes) and a Completeness Result for Goal
 Regression},
  Author                   = {Reiter, Ray},
  Booktitle                = {Artificial Intelligence and Mathematical Theory of
 Computation: Papers in Honor of John McCarthy},
  Publisher                = {Academic Press},
  Year                     = {1991},

  Address                  = {San Diego, CA},
  Editor                   = {Vladimir Lifschitz},
  Pages                    = {359--380},

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

{"_id":{"_str":"534279620e946d920a00157a"},"__v":1,"authorIDs":[],"author_short":["Reiter, R."],"bibbaseid":"reiter-theframeprobleminthesituationcalculusasimplesolutionsometimesandacompletenessresultforgoalregression-1991","bibdata":{"bibtype":"incollection","type":"incollection","title":"The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"booktitle":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","publisher":"Academic Press","year":"1991","address":"San Diego, CA","editor":[{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Lifschitz"],"suffixes":[]}],"pages":"359–380","file":"simple.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/simple.pdf:PDF;simple.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/simple.ps:PostScript","key":"Reiter91-SolFP","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/simple.ps.gz","timestamp":"2018.09.23","url":"simple.pdf","bibtex":"@InCollection{Reiter91-SolFP,\n Title = {The Frame Problem in the Situation Calculus: A Simple\n Solution (sometimes) and a Completeness Result for Goal\n Regression},\n Author = {Reiter, Ray},\n Booktitle = {Artificial Intelligence and Mathematical Theory of\n Computation: Papers in Honor of John McCarthy},\n Publisher = {Academic Press},\n Year = {1991},\n\n Address = {San Diego, CA},\n Editor = {Vladimir Lifschitz},\n Pages = {359--380},\n\n File = {simple.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/simple.pdf:PDF;simple.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/simple.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/simple.ps.gz},\n Timestamp = {2018.09.23},\n Url = {simple.pdf}\n}\n\n","author_short":["Reiter, R."],"editor_short":["Lifschitz, V."],"id":"Reiter91-SolFP","bibbaseid":"reiter-theframeprobleminthesituationcalculusasimplesolutionsometimesandacompletenessresultforgoalregression-1991","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/simple.pdf"},"metadata":{"authorlinks":{}},"downloads":7,"html":""},"bibtype":"incollection","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":7,"keywords":[],"search_terms":["frame","problem","situation","calculus","simple","solution","sometimes","completeness","result","goal","regression","reiter"],"title":"The Frame Problem in the Situation Calculus: A Simple Solution (sometimes) and a Completeness Result for Goal Regression","year":1991,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}