The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

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
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.

[Search These Pages] [DAI Home Page] [Comment]