@article{ Reiter01,
  ps = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps}
}
,
  title = {On Knowledge-Based Programming with Sensing in the Situation Calculus}
}
,
  url = {kbprogramming.pdf}
}
,
  journal = {ACM Transactions on Computational Logic (TOCL)}
}
,
  author = {Reiter, Ray}
}
,
  number = {4}
}
,
  month = {October}
}
,
  volume = {2}
}
,
  key = {CogRobo}
}
,
  year = {2001}
}
,
  opturl = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.ps.gz}
}
,
  pdf = {http://www.cs.toronto.edu/cogrobo/Papers/kbprogramming.pdf}
}
,
  pages = {433--457}
}