Truth Maintenance Programs

Thread View: comp.groupware

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Vincent Huffaker Wed, 12 Sep 1990 15:31

#249

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads