CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Truth Maintenance Tutorial Code

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