Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!caen!ox.com!math.fu-berlin.de!unidui!unido!uklirb!shell
From: Jenny.Rowland@levels.sait.edu.au
Newsgroups: comp.ai.shells
Subject: ATMS
Message-ID: <7740@uklirb.informatik.uni-kl.de>
Date: 11 Apr 91 02:26:25 GMT
Sender: shell@uklirb.informatik.uni-kl.de
Organization: University of South Australia
Lines: 12
Approved: shell@dfki.uni-kl.de
Posted-Date: Fri Apr 12 14:17:54 GMT 1991
News-Moderator: Approval required for posting to comp.ai.shells

Please reply to the address below:
---------------------------------


I'm interested in Assumptional Truth Maintenance System (ATMS)
shells that might be available. I dont want something like KEE with
all the overhead of object and production system stuff. Are there any
shells which just do ATMS, preferably with C bindings and running
under Unix.

Steve Garlick
steveg@venus.crl.bhp.com.au