Path: utzoo!attcan!uunet!snorkelwacker!ira.uka.de!sun.rhrk.uni-kl.de!uklirb!shell
From: ah314368@longs.lance.colostate.edu (Vincent Huffaker)
Newsgroups: comp.ai.shells
Subject: Truth Maintenance Programs
Message-ID: <6683@uklirb.informatik.uni-kl.de>
Date: 12 Sep 90 15:43:19 GMT
Sender: shell@uklirb.informatik.uni-kl.de
Reply-To: Vincent Huffaker <ah314368@longs.lance.colostate.edu>
Organization: Engineering College, Colorado State University
Lines: 16
Approved: shell@informatik.uni-kl.de
Posted-Date: Fri Sep 14 07:23:40 GMT 1990

Hello,

I'm trying to find examples of Truth Maintenance programs
that I can obtain (ftp or otherwise).

I'm working on fault diagnosis of large physical processes 
and I'd like to have a sample TMS (or ATMS, or ???) on hand
to see how they run in "real-life."

Please post to this newsgroup or e-mail to me directly.

I'll post any interesting results and/or summaries.

Thanks in advance,
Vincent Huffaker
ah314368@longs.LANCE.ColoState.EDU