Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!samsung!munnari.oz.au!yoyo.aarnet.edu.au!sirius.ucs.adelaide.edu.au!levels!majgr
From: Jenny.Rowland@levels.sait.edu.au
Newsgroups: aus.ai,comp.ai
Subject: ATMS
Message-ID: <16166.28046afa@levels.sait.edu.au>
Date: 11 Apr 91 04:26:10 GMT
Organization: University of South Australia
Lines: 12

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