From thomas@noosa.gmd.de Fri Mar 25 21:19:07 EST 1994
Article: 21334 of comp.ai
Xref: glinda.oz.cs.cmu.edu comp.ai:21334
Newsgroups: comp.ai
Path: honeydew.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!pipex!sunic!EU.net!Germany.EU.net!netmbx.de!zrz.TU-Berlin.DE!zib-berlin.de!uni-paderborn.de!urmel.informatik.rwth-aachen.de!gmd.de!slim!thomas
From: thomas@noosa.gmd.de (Tom Gordon)
Subject: ANNOUNCE -- The qwertz Toolbox
Message-ID: <THOMAS.94Mar25151737@noosa.gmd.de>
Sender: news@gmd.de (USENET News)
Nntp-Posting-Host: noosa
Organization: German National Research Center for Computer Science (GMD)
Date: Fri, 25 Mar 1994 14:17:37 GMT
Lines: 79
ANNOUNCEMENT
The qwertz toolbox, a library of Standard ML modules with an emphasis
on symbolic Artificial Intelligence programming, may now be obtained
by anonymous ftp at:
ftp.gmd.de:gmd/ai-research/Software/qwertz.tar.gz
The qwertz.tar.gz file is a tar archive compressed using the the GNU
gzip program. Use the gunzip program to decompress it. The
README file explains how the install the library.
The manual page introducing the toolbox is reprinted below.
Tom Gordon
thomas@gmd.de
-------------------------------------------------------------------
NAME
QWERTZ -- The qwertz Toolbox
DESCRIPTION
The qwertz Toolbox is a library of Standard ML modules,
with an emphasis on support for symbolic Artificial Intel-
ligence (AI) programming. These include:
1. Symbols and symbolic expressions;
2. Tables, including an implementation of association
lists;
3. Sets;
4. Queues and priority queues;
5. Streams, for dataflow programming;
6. Heuristic search, including implementations of sev-
eral common search strategies, including A* and
iterative deepening; and
7. An ATMS reason maintenance system.
SEE ALSO
COMPARE, DATUM, ELEMENT, EQ, LEX, PARSER, PQUEUE, PRETTY,
QUEUE, RMS, SEARCH, SET, SEXP, SPACE, STREAM, SYMBOL, SYM-
BOL_TABLE, TABLE
CREDITS
The qwertz toolbox was designed and implemented by Thomas
F. Gordon, Joachim Hertzberg and Alexander Horz at the
German National Research Center for Computer Science
(GMD), in Sankt Augustin, Germany. We would like thank
Sylvie Thiebaux for her helpful comments and encouragement
and Ulrich Junker for his implementation of the ATMS.
--
Dr. Thomas F. Gordon
GMD, FIT-KI; Schloss Birlinghoven
53754 Sankt Augustin / Germany
email: thomas.gordon@gmd.de; phone: (+49 2241) 14-2665