CMU Artificial Intelligence Repository
QWERTZ Toolbox: AI Routines for Standard ML
areas/misc/qwertz/
The QWERTZ toolbox is a library of Standard ML modules with an
emphasis on symbolic Artificial Intelligence programming, (including
implementations of heuristic search and an ATMS reason maintenance
system).
Origin:
ftp.gmd.de:/gmd/ai-research/Software/qwertz.tar.gz
Version: 25-MAR-94
Requires: Standard ML of New Jersey
Copying: Copyright (c) German National Research Center for
Computer Science (GMD)
GNU GPL v1
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Thomas F. Gordon, Joachim Hertzberg, Alexander Horz,
Ulrich Junker
Contact: Thomas F. Gordon
GMD, FIT-KI; Schloss Birlinghoven
53754 Sankt Augustin / Germany
Tel: (+49 2241) 14-2665
Keywords:
A* Search, ATMS, Authors!Gordon, Authors!Hertzberg,
Authors!Horz, Authors!Junker, GMD, GNU GPL, Heuristic Search,
Iterative Deepening Search, Miscellaneous AI, QWERTZ, Search,
Standard ML, Symbolic AI, Truth Maintenance
References: ?
Last Web update on Mon Feb 13 10:24:39 1995
AI.Repository@cs.cmu.edu