@InProceedings{Reiter98,
  Title                    = {Sequential, Temporal GOLOG},
  Author                   = {Reiter, Ray},
  Booktitle                = {Principles of Knowledge Representation and Reasoning:
 Proceedings of the Sixth International Conference
 (KR'98)},
  Year                     = {1998},

  Address                  = {Trento, Italy},
  Pages                    = {547--556},

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

{"_id":{"_str":"534279640e946d920a00180e"},"__v":202,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R."],"bibbaseid":"reiter-sequentialtemporalgolog-1998","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Sequential, Temporal GOLOG","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]}],"booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98)","year":"1998","address":"Trento, Italy","pages":"547–556","file":"reiterkr98.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf:PDF;reiterkr98.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps:PostScript","key":"Reiter98","keywords":"Golog","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz","timestamp":"2018.09.23","url":"reiterkr98.pdf","bibtex":"@InProceedings{Reiter98,\n Title = {Sequential, Temporal GOLOG},\n Author = {Reiter, Ray},\n Booktitle = {Principles of Knowledge Representation and Reasoning:\n Proceedings of the Sixth International Conference\n (KR'98)},\n Year = {1998},\n\n Address = {Trento, Italy},\n Pages = {547--556},\n\n File = {reiterkr98.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.pdf:PDF;reiterkr98.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps:PostScript},\n Key = {CogRobo},\n Keywords = {Golog},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/reiterkr98.ps.gz},\n Timestamp = {2018.09.23},\n Url = {reiterkr98.pdf}\n}\n\n","author_short":["Reiter, R."],"id":"Reiter98","bibbaseid":"reiter-sequentialtemporalgolog-1998","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/reiterkr98.pdf"},"keyword":["Golog"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":0,"keywords":["golog"],"search_terms":["sequential","temporal","golog","reiter"],"title":"Sequential, Temporal GOLOG","year":1998,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}