Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!cs.utexas.edu!yale!cs.yale.edu!newsbase!duchier
From: duchier@cs.yale.edu (Denys Duchier)
Newsgroups: comp.ai
Subject: Re: JTMS
Message-ID: <DUCHIER.90Nov23135805@albania.cs.yale.edu>
Date: 23 Nov 90 18:58:05 GMT
References: <1990Nov22.222914.11422@unlv.edu>
Sender: news@cs.yale.edu
Reply-To: duchier-denys@cs.yale.edu
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Lines: 18
Nntp-Posting-Host: albania.ai.cs.yale.edu
In-reply-to: sreedhar@cleanhead.cs.unlv.edu's message of 22 Nov 90 22:29:14 GMT

In article <1990Nov22.222914.11422@unlv.edu> sreedhar@cleanhead.cs.unlv.edu writes:
 >   I am presently working on Justification Based
 >   Truth Maintenace system. I have been reading
 >   Doyle paper in AI journal. I am interested [...]

From the department of computer science at Yale University:

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

This report presents a unified treatment of justification-based
(Doyle), logic-based (McAllester), assumption-based (McDermott,
DeKleer), and other sorts of RMSes.  It also includes a lisp
implementation in appendix.

--Denys