pers of Brian Milch et al.</li>
    <li><a href="blocks3.ailog">blocks3.ailog</a> a stochastic block
stacking examples (actions can fail, blocks can be dropped, towers can
topple).
    </li>
    <li><a href="rob_key.ail">rob_key.ail</a> a robot temporal
projection problem, from David Poole, ``<a
 href="http://www.cs.ubc.ca/~poole/abstracts/abnaf.html">Abducing
Through Negation as Failure: Stable models within the independent
choice
logic </a>'' <cite>Journal of Logic Programming</cite>, Vol 44, Pages
5-35, 