Solving Planning Problems by Partial Deduction

Helko Lehmann, Michael Leuschel. Solving Planning Problems by Partial Deduction. In Michel Parigot, Andrei Voronkov, editors, Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings. Volume 1955 of Lecture Notes in Computer Science, pages 451-468, Springer, 2000. [doi]

Authors

Helko Lehmann

This author has not been identified. Look up 'Helko Lehmann' in Google

Michael Leuschel

Identified as Michael Leuschel