@PhdThesis{Pinto94-Phd,
  Title                    = {Temporal Reasoning in the Situation Calculus},
  Author                   = {Pinto, Javier},
  School                   = {Department of Computer Science, University of Toronto},
  Year                     = {1994},

  Address                  = {Toronto, Canada},
  Month                    = {January},

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

{"_id":{"_str":"534279610e946d920a001421"},"__v":193,"authorIDs":["54771e25cb4bf04e3900161c"],"author_short":["Pinto, J."],"bibbaseid":"pinto-temporalreasoninginthesituationcalculus-1994","bibdata":{"bibtype":"phdthesis","type":"phdthesis","title":"Temporal Reasoning in the Situation Calculus","author":[{"propositions":[],"lastnames":["Pinto"],"firstnames":["Javier"],"suffixes":[]}],"school":"Department of Computer Science, University of Toronto","year":"1994","address":"Toronto, Canada","month":"January","file":"jpThesis.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/jpThesis.pdf:PDF;jpThesis.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps:PostScript","key":"Pinto94-Phd","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps.gz","timestamp":"2018.09.23","url":"jpThesis.pdf","bibtex":"@PhdThesis{Pinto94-Phd,\n Title = {Temporal Reasoning in the Situation Calculus},\n Author = {Pinto, Javier},\n School = {Department of Computer Science, University of Toronto},\n Year = {1994},\n\n Address = {Toronto, Canada},\n Month = {January},\n\n File = {jpThesis.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/jpThesis.pdf:PDF;jpThesis.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/jpThesis.ps.gz},\n Timestamp = {2018.09.23},\n Url = {jpThesis.pdf}\n}\n\n","author_short":["Pinto, J."],"id":"Pinto94-Phd","bibbaseid":"pinto-temporalreasoninginthesituationcalculus-1994","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/jpThesis.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"phdthesis","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["temporal","reasoning","situation","calculus","pinto"],"title":"Temporal Reasoning in the Situation Calculus","year":1994,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}