Plans or sequences of actions are an important form of data With the proliferation of database technology plan databases or planbases are increasingly common E cient discovery of important patterns of actions in plan databases presents a challenge to data mining In this paper we present a method for mining signi cant patterns of successful actions in a large planbase using a divide and conquer ...

Step up/down treatment according to disease severity to maintain good control and minimise drugrelated side-effects. Start at the step most fitting to the initial severity of the asthma. Treatment plans and goals should be negotiated with the patient but usual aims would be to minimise impact of symptoms on life, reduce reliance on reliever medication and prevent severe exacerbations. Self-mana...

This paper aims at laying down the foundations of a new approach to learning in autonomous mobile robots. It is based on the assumption that robots can be provided with built-in action plans and with mechanisms to modify and improve such plans. This requires that robots are equipped with some form of highlevel reasoning capabilities. Therefore, the proposed learning technique is embedded in a n...

We are concerned with generating optimal policies for Markov decision processes that are represented as high-level plans with conditional branches and loops. Often complex planning processes can be broken down into elementary plan steps with associated restricted sets of actions. These plan steps can be combined to form high-level plans using a simple programming language specifying conditional...

The use of proof plans in formal methods Citation for published version: Bundy, A 1990, 'The use of proof plans in formal methods'. in A Miola (ed.), Design and implementation of General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that ...