Now showing items 1-4 of 4

  • Calculating Criticalities 

    Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. (Elsevier, 1996-12)
    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. ...
  • Computing Abstraction Hierarchies by Numerical Simulation 

    Alan, Bundy; Giunchiglia, F.; Sebastiani, R.; Walsh, T. (1996)
    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 ...
  • Deductive Synthesis of Workflows for E-Science 

    Alan, Bundy; Yang, B.; Smaill, A.; Dixon, L. (2005-05)
    In this paper we show that the automated reasoning technique of deductive synthesis can be applied to address the problem of machine-assisted composition of e-Science workflows according to users' specifications. We encode ...
  • System Description: an Interface Between CLAM and HOL 

    Alan, Bundy; Slind, K.; Gordon, M.; Boulton, R. (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 ...