2000.</li>
    <li><a href="robot_sitc.cil">robot_sitc.cil</a> a robot prediction
problem using the situation calculus, from David Poole, ``<a
 href="http://www.cs.ubc.ca/~poole/abstracts/sitc.html">Decision
Theory, the Situation Calculus and Conditional Plans</a>'',
Link&ouml;ping Electronic Articles in Computer and Information Science,
Vol 3 (1998):nr 8. <a href="http://www.ep.liu.se/ea/cis/1998/008/">http://www.ep.liu.se/ea/cis/1998/008/</a>
June 15, 1998. <cite><a href="http://www.etaij.org/"> The Elect