CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

STATIC: Static Analyzer for Prodigy

This directory contains STATIC, a static analysis tool for the full PRODIGY 2.0 language.

Version: 2.0 Requires: Common Lisp Copying: Copyright (c) 1993 by Oren Etzioni Use permitted for non-commercial research purposes only. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Bug Reports: Author(s): Oren Etzioni, Julie Roomy, and Rob Spiger Contact: Oren Etzioni Keywords: Authors!Etzioni, Authors!Roomy, Authors!Spiger, Lisp!Code, Machine Learning, Planning, Prodigy, STATIC References: Oren Etzioni, "Acquiring Search-Control Knowledge via Static Analysis", Artificial Intelligence, to appear 1993. Also available as University of Washington technical report 92-04-01. Steven Minton, Craig A. Knoblock, Daniel R. Kuokka, Yolanda Gil, Robert L. Joseph, and Jaime G. Carbonell, "Prodigy 2.0: The Manual and Tutorial", Carnegie Mellon University, Tech Report CMU-CS-89-146, 1989.
Last Web update on Mon Feb 13 10:27:11 1995