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: 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