Research Paper #888 | |
---|---|
Title: | Planning and Proof Planning |
Authors: | Melis,E; Bundy,A |
Date: | Feb 1998 |
Presented: | Presented at the ECAI-96 workshop on Cross-Fertilization in Planning |
Keywords: | |
Abstract: | The paper addresses 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. |
Download: | POSTSCRIPT COPY |