Truth Maintenance Programs

Article View: comp.groupware

Article #249

#249

From: Vincent Huffaker
Date: Wed, 12 Sep 1990 15:31

19 lines
1146 bytes

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
-----------------------------------------------------------
...let's see now....where did I put that signature file....

Technical Details

Message-ID: <8824@ccncsu.ColoState.EDU>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!mcgill-vision!snorkelwacker!usc!sdd.hp.com!zaphod.mps.ohio-state.edu!ncar!boulder!ccncsu!longs.LANCE.ColoState.EDU!ah314368

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!mcgill-vision!snorkelwacker!usc!sdd.hp.com!zaphod.mps.ohio-state.edu!ncar!boulder!ccncsu!longs.LANCE.ColoState.EDU!ah314368
From: ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker)
Newsgroups: comp.groupware
Subject: Truth Maintenance Programs
Message-ID: <8824@ccncsu.ColoState.EDU>
Date: 12 Sep 90 15:31:23 GMT
Sender: news@ccncsu.ColoState.EDU
Reply-To: ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker)
Organization: Engineering College, Colorado State University
Lines: 19