@InProceedings{Pint93,
  Title                    = {Temporal Reasoning in Logic Programming: {A} Case for
 the Situation Calculus},
  Author                   = {Pinto, J. and Reiter, R.},
  Booktitle                = {Proc. of the 10th International Conference on Logic
 Programming},
  Year                     = {1993},

  Address                  = {Budapest, Hungary},
  Month                    = {June},

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

{"_id":{"_str":"5342b4520e946d920a0032d2"},"__v":11,"authorIDs":["54595b5eb43425b7720004ab","54771e25cb4bf04e3900161c"],"author_short":["Pinto, J.","Reiter, R."],"bibbaseid":"pinto-reiter-temporalreasoninginlogicprogrammingacaseforthesituationcalculus-1993","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Temporal Reasoning in Logic Programming: A Case for the Situation Calculus","author":[{"propositions":[],"lastnames":["Pinto"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]}],"booktitle":"Proc. of the 10th International Conference on Logic Programming","year":"1993","address":"Budapest, Hungary","month":"June","file":"temporal.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/temporal.pdf:PDF;temporal.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/temporal.ps:PostScript","key":"Pint93","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps.gz","timestamp":"2018.09.23","url":"temporal.pdf","bibtex":"@InProceedings{Pint93,\n Title = {Temporal Reasoning in Logic Programming: {A} Case for\n the Situation Calculus},\n Author = {Pinto, J. and Reiter, R.},\n Booktitle = {Proc. of the 10th International Conference on Logic\n Programming},\n Year = {1993},\n\n Address = {Budapest, Hungary},\n Month = {June},\n\n File = {temporal.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/temporal.pdf:PDF;temporal.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/temporal.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/temporal.ps.gz},\n Timestamp = {2018.09.23},\n Url = {temporal.pdf}\n}\n\n","author_short":["Pinto, J.","Reiter, R."],"id":"Pint93","bibbaseid":"pinto-reiter-temporalreasoninginlogicprogrammingacaseforthesituationcalculus-1993","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/temporal.pdf"},"metadata":{"authorlinks":{}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":2,"keywords":[],"search_terms":["temporal","reasoning","logic","programming","case","situation","calculus","pinto","reiter"],"title":"Temporal Reasoning in Logic Programming: A Case for the Situation Calculus","year":1993,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}