Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!samsung!uunet!unsvax!jimi!cleanhead.cs.unlv.edu!sreedhar
From: sreedhar@cleanhead.cs.unlv.edu
Newsgroups: comp.ai
Subject: JTMS
Message-ID: <1990Nov22.222914.11422@unlv.edu>
Date: 22 Nov 90 22:29:14 GMT
Sender: news@unlv.edu (News User)
Reply-To: sreedhar@unlv.edu ()
Organization: UNLV Computer Science and Electrical Engineering
Lines: 13

Hello everybody:

I am presently working on Justification Based
Truth Maintenace system. I have been reading
Doyle paper in AI journal. I am interested
in actually see it work. I am sure
there are systems implemented. Can any one give
me some pointers to source code to JTMS. I prefer
C code under unix or interface to systems like clips.

thanks 

sridhar