Artifact Details

Title

Truth Maintenance Program

Catalog Number

102719298

Type

Document

Description

Thesis: "Qualitative Process theory," TR-789, MIT Artificial Intelligence laboratory, July 1984.

Date

1984-07

Author

Forbus, Kenneth D.

Publisher

Massachusetts Institute of Technology (MIT)

Extent

1 folder

Category

Program Listing

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Lisp history by year

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010