{"_id":{"_str":"5342b4530e946d920a00332a"},"__v":9,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-formalizingdatabaseevolutioninthesituationcalculus-1992","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formalizing database evolution in the situation calculus","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"booktitle":"Proc. of the International Conference on Fifth Generation Computer Systems","year":"1992","address":"Tokyo, Japan","month":"June","note":"Invited paper","pages":"600–609","file":"fgcs.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf:PDF;fgcs.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps:PostScript","key":"Reiter92b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz","timestamp":"2018.09.23","url":"fgcs.pdf","bibtex":"@InProceedings{Reiter92b,\n Title = {Formalizing database evolution in the situation\n calculus},\n Author = {Reiter, R.},\n Booktitle = {Proc. of the International Conference on Fifth\n Generation Computer Systems},\n Year = {1992},\n\n Address = {Tokyo, Japan},\n Month = {June},\n Note = {Invited paper},\n Pages = {600--609},\n\n File = {fgcs.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.pdf:PDF;fgcs.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/fgcs.ps.gz},\n Timestamp = {2018.09.23},\n Url = {fgcs.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter92b","bibbaseid":"reiter-formalizingdatabaseevolutioninthesituationcalculus-1992","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/fgcs.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["formalizing","database","evolution","situation","calculus","reiter"],"title":"Formalizing database evolution in the situation calculus","year":1992,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}