Now showing items 1-3 of 3
System Description: an Interface Between CLAM and HOL
(Springer Verlag, 1998)
The CLAM proof planner has been interfaced to the HOL interactive theorem prover to provide the power of proof planning to people using HOL for formal verification, etc. The interface sends HOL goals to CLAM for planning ...
Computing Abstraction Hierarchies by Numerical Simulation
We present a novel method for building ABSTRIPS-style abstraction hierarchies in planning. The aim of this method is to minimize the amount of backtracking between abstraction levels. Previous approaches have determined ...
We present a novel method for building style abstraction hierarchies in planning. The aim of this method is to minimize search by limiting backtracking both between abstraction levels and within an abstraction level. ...