Eugene's work on formalizing AI planning algorithms
Journal articles
Manuela Veloso, Jaime
Carbonell, Alicia Perez,
Daniel
Borrajo, Eugene Fink, and Jim
Blythe. Integrating planning and learning: The Prodigy architecture.
Journal
of Experimental and Theoretical Artifical Intelligence, 7(1), pages
81-120, 1995. See PostScript,
PDF,
or
abstract.
Eugene Fink and Jim Blythe.
Prodigy
bidirectional planning. Journal
of Experimental and Theoretical Artificial Intelligence, 17(3), pages
161-200, 2005. See PostScript,
PDF,
or
abtract.
Book chapters
Eugene Fink and Manuela Veloso.
Formalizing the Prodigy planning algorithm.
In
Malik Ghallab and Alfredo Milani, editors, New Directions in AI Planning,
pages 261-271. IOS Press, Amsterdam, Netherlands,
1996. See
PostScript,
PDF,
or abstract.
Conference papers
Eugene Fink and Qiang Yang. Formalizing plan justifications. In
Proceedings of the Ninth Conference of the Canadian Society for Computational
Studies of Intelligence, pages 9-14, 1992. See PostScript,
PDF,
or
abstract.
Eugene Fink and Jim Blythe.
A complete bidirectional planner.
In Proceedings of the Fourth International Conference on Artificial Intelligence
Planning Systems, 1998. See PostScript,
PDF,
or abstract.
Workshop papers
Eugene Fink and Qiang Yang. A spectrum of plan justifications. In
Proceedings of the AAAI 1993 Spring Symposium, pages
29-33, 1993. See PostScript,
PDF,
or
abstract.
Eugene Fink and Qiang Yang. Forbidding preconditions and ordered
abstraction hierarchies. In Proceedings of the AAAI
1993 Spring Symposium, pages 34-38, 1993. See PostScript,
PDF,
abstract.
Technical reports
Eugene Fink. Justified plans and ordered hierarchies. Masters Thesis,
Department of Computer Science, University of Waterloo, 1992. Technical
Report CS-92-42. See PostScript,
PDF,
or
abstract.
Eugene Fink and Manuela Veloso. Prodigy planning algorithm. Computer
Science Department, Carnegie Mellon University, 1994. Technical Report
CMU-CS-94-123. See PostScript,
PDF,
or
abstract.