@Article{Pinto95,
  Title                    = {Reasoning about time in the situation calculus},
  Author                   = {Pinto, J. and Reiter, R.},
  Journal                  = {Annals of Mathematics and Artificial Intelligence},
  Year                     = {1995},

  Month                    = {September},
  Pages                    = {2510--268},
  Volume                   = {14},

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

{"_id":{"_str":"5342b4520e946d920a0032ca"},"__v":7,"authorIDs":["54595b5eb43425b7720004ab","54771e25cb4bf04e3900161c"],"author_short":["Pinto, J.","Reiter, R."],"bibbaseid":"pinto-reiter-reasoningabouttimeinthesituationcalculus-1995","bibdata":{"bibtype":"article","type":"article","title":"Reasoning about time in the situation calculus","author":[{"propositions":[],"lastnames":["Pinto"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"journal":"Annals of Mathematics and Artificial Intelligence","year":"1995","month":"September","pages":"2510–268","volume":"14","file":"minker.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/minker.pdf:PDF;minker.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/minker.ps:PostScript","key":"Pinto95","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/minker.ps.gz","timestamp":"2018.09.23","tnumber":"2-4","url":"minker.pdf","bibtex":"@Article{Pinto95,\n Title = {Reasoning about time in the situation calculus},\n Author = {Pinto, J. and Reiter, R.},\n Journal = {Annals of Mathematics and Artificial Intelligence},\n Year = {1995},\n\n Month = {September},\n Pages = {2510--268},\n Volume = {14},\n\n File = {minker.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/minker.pdf:PDF;minker.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/minker.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/minker.ps.gz},\n Timestamp = {2018.09.23},\n Tnumber = {2-4},\n Url = {minker.pdf}\n}\n\n","author_short":["Pinto, J.","Reiter, R."],"id":"Pinto95","bibbaseid":"pinto-reiter-reasoningabouttimeinthesituationcalculus-1995","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/minker.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["reasoning","time","situation","calculus","pinto","reiter"],"title":"Reasoning about time in the situation calculus","year":1995,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}