Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uwm.edu!cs.utexas.edu!yale!cs.yale.edu!newsbase!duchier
From: duchier@cs.yale.edu (Denys Duchier)
Newsgroups: comp.ai
Subject: Re: Pointer to MIT documents on truth maintenance please
Message-ID: <DUCHIER.90Aug30100700@albania.cs.yale.edu>
Date: 30 Aug 90 14:07:00 GMT
References: <2205@runxtsa.runx.oz.au>
Sender: news@cs.yale.edu
Reply-To: duchier-denys@cs.yale.edu
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Lines: 15
Nntp-Posting-Host: albania.ai.cs.yale.edu
In-reply-to: tom@runxtsa.runx.oz.au's message of 30 Aug 90 01:08:39 GMT


In article <2205@runxtsa.runx.oz.au> tom@runxtsa.runx.oz.au (Thomas Antalffy) writes:
 >   Does anyone know how I could lay my hands on the following MIT research 
 >   papers : [...]

On this subject:

	A General Framework for Reason Maintenance
	Drew McDermott, Yale University, March 1989
	YALEU/CSD/RR #691

is available from the CS dpt at Yale. It contains both a general
theoretical account and an implementation in Lisp.

--Denys