Delivery-Date: 
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Message-Id: <9212060135.AA19605@maui.cs.ucla.edu>
To: info-hol@edu.uidaho.cs.ted
Subject: Forwarded: Announcing a database of automated reasoning systems
Date: Sat, 05 Dec 92 17:35:05 PST
From: chou@EDU.UCLA.CS


------- Forwarded Message

Return-Path: clt@sail.stanford.edu
Received: from Lanai.CS.UCLA.EDU by maui.cs.ucla.edu
	(Sendmail 5.61d+YP/3.21) id AA18312;
	Sat, 5 Dec 92 16:05:36 -0800
Received: from life.ai.mit.edu by lanai.cs.ucla.edu
	(Sendmail 5.61d+YP/3.21) id AA02547;
	Sat, 5 Dec 92 16:05:32 -0800
Received: from mc.lcs.mit.edu by life.ai.mit.edu (4.1/AI-4.10) id AA14128; Sat, 5 Dec 92 18:58:25 EST
Received: from SAIL.Stanford.EDU by mc.lcs.mit.edu id aa10877;
          5 Dec 92 18:48 EST
Received:  by SAIL.Stanford.EDU (5.57/25-eef) id AA24737; Sat, 5 Dec 92 15:48:08 -0800
Date: Sat, 5 Dec 92 15:48:08 -0800
From: Carolyn Talcott <clt@sail.stanford.edu>
Message-Id: <9212052348.AA24737@SAIL.Stanford.EDU>
To: theorem-provers@mc.lcs.mit.edu
Cc: landwehr@itd.nrl.navy.mil, mettala@darpa.mil, scherlis@darpa.mil
Subject: Announcing a database of automated reasoning systems
Reply-To: clt@sail.stanford.edu


I am in the process of accumulating a database of automated reasoning
systems.  The database is accessible via anonymous ftp at sail.stanford.edu 
in the directory  pub/clt/ARS

For your convenience I append below the README file from this directory
which contains further explanation.

The database is by no means complete.  It currently contains 16 entries, 
with a number of requests for information outstanding.  The database will 
continue to grow and evolve.  Some of the current entries are a distillation 
of data that I have accumulated from various sources, including email
annoucements, CADE proceedings, manuals and papers, and personal 
communications.  Many of the entries have been improved by input from
interested persons.

This announcement is to let you know of the availability of the 
database and to request your help in filling gaps.  Please send
suggestions for improvement, pointers to existing systems, ....

Please forward this announcement to anyone you think might be interested,
who is not a subscriber to this mailing list.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ftp@sail.stanford.edu: pub/clt/ARS/README

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

Database of Automated reaoning systems


This directory contains the beginnings of a database of automated reasoning
systems.  A short term objective is just to provide concise useful information
for people who have need for such a system and don't want to `roll their own'.
Another objective is to provide a single place where information about
existing systems can be stored and examined, thus providing an overview of the
state of the art.  For this reason entries are restricted to systems that are
implemented and available to outside users.  The success of the database will
depend in part on the community providing feedback as to what information
should be included, useful format, and pointing out omissions.  PLEASE speak
up if you have ideas!

A long term goal for the database is to provide more formal descriptions of
the tools in a way that would allow them to be used, when suitably
encapsulated, as off-the-shelf components for incorporated reasoning tools
into software systems, including of course other reasoning systems.

This directory contains the files

README        -- this file
Entries       -- the subdirectory containing the current entries
ExtendedInfo  -- a subdirectory containing various additional information
                 about projects, applications, etc.
template      -- a template for the entry format
toc           -- a listing of the current entries


If you have updates, or suggestions for improved format,  new fields,
additional entries,  or whatever or if you want additional information,
contact: 

Carolyn Talcott
Computer Science Department
Stanford University
Stanford CA 94305
clt@sail.stanford.edu

------- End of Forwarded Message