CMU Artificial Intelligence Repository
Truth Maintenance Tutorial Code
areas/reasonng/tms/tutorial/
This directory contains the AAAI tutorial on ATMS by Ken Forbus and
Johan de Kleer.
Version: 2-OCT-91
Requires: Common Lisp
Copying: Copyright (c) 1986-91 Kenneth D. Forbus, Northwestern
University, and Johan de Kleer, the Xerox Corporation.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Ken Forbus
Johan de Kleer
Keywords:
Authors!Forbus, Authors!de Kleer, Lisp!Code,
Reasoning!Truth Maintenance, Truth Maintenance!Tutorial
References: ?
Last Web update on Mon Feb 13 10:27:58 1995
AI.Repository@cs.cmu.edu