@InProceedings{Boutilier00,
  Title                    = {Decision-Theoretic, High-Level Agent Programming in
 the Situation Calculus},
  Author                   = {Boutilier, Craig and Reiter, Ray and Soutchanski,
 Mikhail and Thrun, Sebastian},
  Booktitle                = {Workshop on Decision-Theoretic Planning, Seventh
 International Conference on Principles of Knowledge
 Representation and Reasoning (KR2000)},
  Year                     = {2000},

  Address                  = {Breckenridge, Colorado},
  Month                    = {Apr},

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

{"_id":{"_str":"534279620e946d920a0014e5"},"__v":270,"authorIDs":["54575f232abc8e9f37000323","5457b87b2abc8e9f3700065d","54595b5eb43425b7720004ab","5461b7f48a9aab071c00007f","5e39039edc5b8ade010000b3","94kPxYFCvycR4XMdq"],"author_short":["Boutilier, C.","Reiter, R.","Soutchanski, M.","Thrun, S."],"bibbaseid":"boutilier-reiter-soutchanski-thrun-decisiontheoretichighlevelagentprogramminginthesituationcalculus-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decision-Theoretic, High-Level Agent Programming in the Situation Calculus","author":[{"propositions":[],"lastnames":["Boutilier"],"firstnames":["Craig"],"suffixes":[]},{"propositions":[],"lastnames":["Reiter"],"firstnames":["Ray"],"suffixes":[]},{"propositions":[],"lastnames":["Soutchanski"],"firstnames":["Mikhail"],"suffixes":[]},{"propositions":[],"lastnames":["Thrun"],"firstnames":["Sebastian"],"suffixes":[]}],"booktitle":"Workshop on Decision-Theoretic Planning, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000)","year":"2000","address":"Breckenridge, Colorado","month":"Apr","file":"dtgologKR00W.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.pdf:PDF;dtgologKR00W.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps:PostScript","key":"Boutilier00","keywords":"Golog","opturl":"http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps.gz","timestamp":"2018.09.23","url":"dtgologKR00W.pdf","bibtex":"@InProceedings{Boutilier00,\n Title = {Decision-Theoretic, High-Level Agent Programming in\n the Situation Calculus},\n Author = {Boutilier, Craig and Reiter, Ray and Soutchanski,\n Mikhail and Thrun, Sebastian},\n Booktitle = {Workshop on Decision-Theoretic Planning, Seventh\n International Conference on Principles of Knowledge\n Representation and Reasoning (KR2000)},\n Year = {2000},\n\n Address = {Breckenridge, Colorado},\n Month = {Apr},\n\n File = {dtgologKR00W.pdf:http\\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.pdf:PDF;dtgologKR00W.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps:PostScript},\n Key = {CogRobo},\n Keywords = {Golog},\n Opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologKR00W.ps.gz},\n Timestamp = {2018.09.23},\n Url = {dtgologKR00W.pdf}\n}\n\n","author_short":["Boutilier, C.","Reiter, R.","Soutchanski, M.","Thrun, S."],"id":"Boutilier00","bibbaseid":"boutilier-reiter-soutchanski-thrun-decisiontheoretichighlevelagentprogramminginthesituationcalculus-2000","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/dtgologKR00W.pdf"},"keyword":["Golog"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":3,"keywords":["golog"],"search_terms":["decision","theoretic","high","level","agent","programming","situation","calculus","boutilier","reiter","soutchanski","thrun"],"title":"Decision-Theoretic, High-Level Agent Programming in the Situation Calculus","year":2000,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}