CMU Artificial Intelligence Repository
STATIC: Static Analyzer for Prodigy
areas/planning/systems/prodigy/static/
This directory contains STATIC, a static analysis tool for the full
PRODIGY 2.0 language.
Origin:
cs.washington.edu
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: etzioni@cs.washington.edu
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
AI.Repository@cs.cmu.edu