tom@runxtsa.runx.oz.au (Thomas Antalffy) (08/30/90)
Does anyone know how I could lay my hands on the following MIT research papers : McAllester, D.A. "A Three-Valued Truth Maintenance System" MIT Lab Memo 473 (1978). McAllester, D.A. "The Use of Equality in Deduction and Knowledge Representation" MIT Dept of Electrical Engineering and Computer Science, M.S. Thesis (1979). Thank you in advance, Thomas.
duchier@cs.yale.edu (Denys Duchier) (08/30/90)
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