Permission to use, copy, and modify, this software and its documentation for research purpose is hereby granted without fee, provided that the above copyright notice appears in all copies and that both the copyright notice and this permission notice appear in supporting documentation, and that the name of The University of Toronto not be used in advertising or publicity pertaining to distribution of the software without specific, written prior permission. The University of Toronto makes no representations about the suitability of this software for any purpose. It is provided "as is" without express or implied warranty. THE UNIVERSITY OF TORONTO DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL THE UNIVERSITY OF TORONTO BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
Section 6.3.1. A Golog Interpreter in ECLIPSE Prolog
Section 6.3.4. The elevator control program
Section 7.4.1. The coffee delivery robot.
Section 7.8. A Concurrent, Temporal Golog Interpreter in ECLIPSE Prolog.
Section 7.9.8. Simulation of two balls bouncing between two walls.
Section 8.3. An RGolog Interpreter in ECLIPSE Prolog.
Section 8.4.1. A reactive elevator with interactively entered exogenous actions.
Section 8.4.2. A reactive elevator with randomly generated exogenous actions.
Section 10.1. The breadth-first planner wspbf(n).
Section 10.2. Example: Planning in the Blocks World.
Section 10.2.1. A blocks world problem.
Section 10.3. Planning with concurrent actions.
Section 10.4.
Section 10.5. The depth-first planner wspdf(n).
Section 10.6.1. Compiler for an open world initial database into prime implicates.
Section 10.6.2. A regression theorem prover for an initial database of prime implicates.
Section 10.6.3. Bad situations for an open blocks world.
Section 10.6.5. A blocks world problem with incomplete initial situation.
Section 12.2.1. stGolog: Stochastic Golog.
Section 12.3. Exogenous Events.