language: en

Planning and Proof Planning

Erica Melis 1 and Alan Bundy 2

Abstract. The paper adresses proof planning as a specific AI planning. It describes some peculiarities of proof planning and discusses some possible cross-fertilization of planning and proof planning.

1 Introduction