Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!haven!purdue!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!unido!uklirb!rehbold
From: rehbold@uklirb.UUCP (Rehbold AG Richter)
Newsgroups: comp.lang.smalltalk
Subject: (A)TMS in Smalltalk-80 ?
Message-ID: <3797@uklirb.UUCP>
Date: 1 Feb 89 09:09:50 GMT
Reply-To: rehbold@uklirb.UUCP (Robert Rehbold)
Organization: University of Kaiserslautern, W-Germany
Lines: 15

Hello SmallTalkers!

For a project on model-based expert systems we need a Truth Maintenance System
programmed in SmallTalk-80. Is there anybody out there who already has/uses/
knows about such a thing? 

Any help (hint, tape etc. :-) is greatly appreciated!

Robert

-- 
| e-mail:    rehbold@uklirb.UUCP     or       ..!mcvax!unido!uklirb!rehbold  |
| real name: Robert Rehbold, University of Kaiserslautern                    |
|            Department of Computer Science                                  |
|            PO-Box 3049, D-6750 Kaiserslautern, West-Germany                |