Eugene's work on problem reformulation in AI
Eugene Fink. Changes of problem representation: Theory and experiments.
Springer-Verlag, Berlin, Germany, 2003. See introduction in
or table of contents.
Eugene Fink. Automatic evaluation and selection of problem-solving methods:
Theory and experiments. Journal
of Experimental and Theoretical Artificial Intelligence, 16(2), pages
73-105, 2004. See PostScript, PDF,
Eugene Fink. How to solve it automatically: Selection among problem-solving
methods. In Proceedings of the Fourth International Conference on Artificial
Intelligence Planning Systems, pages 128-136, 1998. See
Evaluation of representations in AI problem solving.
In Proceedings of the IEEE International Conference
on Systems, Man, and Cybernetics, pages 349-353, 2007.
Eugene Fink. Systematic approach to the design of representation-changing
algorithms. In Proceedings of the Symposium on Abstraction, Reformulation,
and Approximation, pages 54-61, 1995. See PostScript,
Eugene Fink. Design of representation-changing algorithms. Computer
Science Department, Carnegie Mellon University, 1995. Technical Report
Eugene Fink. Automatic representation changes in problem solving.
Ph.D. Thesis, Computer Science Department, Carnegie Mellon University,
1999. Technical Report CMU-CS-99-150.