[comp.groupware] Truth Maintenance Programs

ah314368@longs.LANCE.ColoState.EDU (Vincent Huffaker) (09/12/90)

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....