@inproceedings{ Boutilier00-DTGolog,
  publisher = {AAAI Press}
}
,
  title = {Decision-Theoretic, High-Level Agent Programming in the Situation Calculus}
}
,
  url = {dtgologaaai00.pdf}
}
,
  booktitle = {Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00)}
}
,
  author = {Craig Boutilier and Ray Reiter and Mikhail Soutchanski and Sebastian Thrun}
}
,
  year = {2000}
}
,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.ps}
}
,
  month = {July 30--3}
}
,
  keywords = {Golog}
}
,
  key = {CogRobo}
}
,
  address = {Menlo Park, CA}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/dtgologaaai00.pdf}
}
,
  pages = {355--362}
}