@InProceedings{Reiter96a,
  Title                    = {Natural actions, concurrency and continuous time in
 the situation calculus},
  Author                   = {Reiter, R.},
  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},
  Pages                    = {2--13},

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

{"_id":{"_str":"534279630e946d920a0016c3"},"__v":5,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-naturalactionsconcurrencyandcontinuoustimeinthesituationcalculus-1996","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Natural actions, concurrency and continuous time in the situation calculus","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"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","pages":"2–13","file":"natural.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/natural.pdf:PDF;natural.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/natural.ps:PostScript","key":"Reiter96a","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/natural.ps.gz","timestamp":"2018.09.23","url":"natural.pdf","bibtex":"@InProceedings{Reiter96a,\n Title = {Natural actions, concurrency and continuous time in\n the situation calculus},\n Author = {Reiter, R.},\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 Pages = {2--13},\n\n File = {natural.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/natural.pdf:PDF;natural.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/natural.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/natural.ps.gz},\n Timestamp = {2018.09.23},\n Url = {natural.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter96a","bibbaseid":"reiter-naturalactionsconcurrencyandcontinuoustimeinthesituationcalculus-1996","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/natural.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["natural","actions","concurrency","continuous","time","situation","calculus","reiter"],"title":"Natural actions, concurrency and continuous time in the situation calculus","year":1996,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}