CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

QWERTZ Toolbox: AI Routines for Standard ML

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).

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