Steven Minton, Craig A. Knoblock, Daniel R. Kuokka, Yolanda Gil, Robert L. Joseph, and Jaime G. Carbonell. PRODIGY 2.0: The manual and tutorial. Technical Report CMUCS -89-146, School of Computer Science, Carnegie Mellon University,1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Towards the Representation of Control Knowledge in a Proof Planner - Melis (1996) (Correct)
The "Limit" Domain - Melis (1998) (Correct)
Two Requirements for the Representation of Proofs - Melis (1996) (Correct)
Main Research Contributions - Melis (Correct)
Planning and Proof Planning - Melis, Bundy (1996) (1 citation) (Correct)
Proc. Workshop on Strategies in Automated Deduction - Gramlich, Pfenning (Correct)
Island Planning and Refinement - Melis (1996) (1 citation) (Correct)
Proof Planning with Multiple Strategies - Melis (1998) (3 citations) (Correct)
Learning Abstraction Hierarchies for Problem Solving - Knoblock (1990) (46 citations) Self-citation (Knoblock) (Correct)
Nonlinear Planning with Parallel Resource Allocation - Veloso, Perez, Carbonell (1990) (14 citations) Self-citation (Carbonell) (Correct)
Nonlinear Planning with Parallel Resource Allocation - Veloso, Pérez.. (1990) (14 citations) Self-citation (Carbonell) (Correct)
Learning by Experimentation: The Operator Refinement Method - Carbonell, Gil (1996) (7 citations) Self-citation (Gil Carbonell) (Correct)
Learning Abstraction Hierarchies for Problem Solving - Knoblock (1990) (44 citations) Self-citation (Knoblock) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC