@Article{Reiter96b,
  Title                    = {Scheduling in the situation calculus: {A} case study},
  Author                   = {Reiter, R. and Zheng, Y.},
  Journal                  = {Annals of Mathematics and Artificial Intelligence.
 Special issue on logic programming, nonmonotonic
 reasoning and action},
  Year                     = {1996},

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

{"_id":{"_str":"5342b4530e946d920a003355"},"__v":9,"authorIDs":["54595b5eb43425b7720004ab"],"author_short":["Reiter, R.","Zheng, Y."],"bibbaseid":"reiter-zheng-schedulinginthesituationcalculusacasestudy-1996","bibdata":{"bibtype":"article","type":"article","title":"Scheduling in the situation calculus: A case study","author":[{"propositions":[],"lastnames":["Reiter"],"firstnames":["R."],"suffixes":[]},{"propositions":[],"lastnames":["Zheng"],"firstnames":["Y."],"suffixes":[]}],"journal":"Annals of Mathematics and Artificial Intelligence. Special issue on logic programming, nonmonotonic reasoning and action","year":"1996","file":"schedule.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/schedule.pdf:PDF;schedule.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/schedule.ps:PostScript","key":"Reiter96b","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps.gz","timestamp":"2018.09.23","url":"schedule.pdf","bibtex":"@Article{Reiter96b,\n Title = {Scheduling in the situation calculus: {A} case study},\n Author = {Reiter, R. and Zheng, Y.},\n Journal = {Annals of Mathematics and Artificial Intelligence.\n Special issue on logic programming, nonmonotonic\n reasoning and action},\n Year = {1996},\n\n File = {schedule.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/schedule.pdf:PDF;schedule.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/schedule.ps:PostScript},\n Key = {CogRobo},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/schedule.ps.gz},\n Timestamp = {2018.09.23},\n Url = {schedule.pdf}\n}\n\n","author_short":["Reiter, R.","Zheng, Y."],"id":"Reiter96b","bibbaseid":"reiter-zheng-schedulinginthesituationcalculusacasestudy-1996","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/schedule.pdf"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":1,"keywords":[],"search_terms":["scheduling","situation","calculus","case","study","reiter","zheng"],"title":"Scheduling in the situation calculus: A case study","year":1996,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}