@InProceedings{Kiringa01b,
  Title                    = {Towards a Theory of Advanced Transaction Models in the
 Situation Calculus (Extended Abstract)},
  Author                   = {Kiringa, I.},
  Booktitle                = {Proceedings of the VLDB 8th International Workshop on
 Knowledge Representation Meets Databases (KRDB'01)},
  Year                     = {2001},

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

{"_id":{"_str":"5342b4530e946d920a00334f"},"__v":4,"authorIDs":["5457bbb02abc8e9f37000676"],"author_short":["Kiringa, I."],"bibbaseid":"kiringa-towardsatheoryofadvancedtransactionmodelsinthesituationcalculusextendedabstract-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards a Theory of Advanced Transaction Models in the Situation Calculus (Extended Abstract)","author":[{"propositions":[],"lastnames":["Kiringa"],"firstnames":["I."],"suffixes":[]}],"booktitle":"Proceedings of the VLDB 8th International Workshop on Knowledge Representation Meets Databases (KRDB'01)","year":"2001","file":"krdb01.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/krdb01.pdf:PDF;krdb01.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps:PostScript","key":"Kiringa01b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps.gz","timestamp":"2018.09.23","url":"krdb01.pdf","bibtex":"@InProceedings{Kiringa01b,\n Title = {Towards a Theory of Advanced Transaction Models in the\n Situation Calculus (Extended Abstract)},\n Author = {Kiringa, I.},\n Booktitle = {Proceedings of the VLDB 8th International Workshop on\n Knowledge Representation Meets Databases (KRDB'01)},\n Year = {2001},\n\n File = {krdb01.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/krdb01.pdf:PDF;krdb01.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/krdb01.ps.gz},\n Timestamp = {2018.09.23},\n Url = {krdb01.pdf}\n}\n\n","author_short":["Kiringa, I."],"id":"Kiringa01b","bibbaseid":"kiringa-towardsatheoryofadvancedtransactionmodelsinthesituationcalculusextendedabstract-2001","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/krdb01.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["towards","theory","advanced","transaction","models","situation","calculus","extended","abstract","kiringa"],"title":"Towards a Theory of Advanced Transaction Models in the Situation Calculus (Extended Abstract)","year":2001,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}