Title: Solving Planning Problems by Partial Deduction
Authors:Helko Lehmann, Michael Leuschel

Abstract:
 We develop an abstract partial deduction method which considers both,
 equational theories and regular type information.  We demonstrate the
 usefulness of this method by applying it to domain descriptions in the
 Fluent Calculus. In particular, we show that our method is actually
 complete for conjunctive planning problems in the propositional Fluent
 Calculus.  We believe that our approach can also be used for more
 complex systems, e.g., in cases where completeness can not be
 guaranteed due to general undecidability.