In July 2005, London was awarded the right to host the 2012 Olympic and Paralympic Games. The decision of the International Olympic Committee triggered considerable public enthusiasm across the UK. At the same time, it also created a host of logistical and technical challenges. Amongst these the first concern is to ensure the safety and security of competitors and of the public. This paper exte...

This paper proposes a fast alternative to POMDP planning for domains with deterministic state-changing actions but probabilistic observation-making actions and partial observability of the initial state. This class of planning problems, which we call quasi-deterministic problems, includes important realworld domains such as planning for Mars rovers. The approach we take is to reformulate the qu...

The “planning as satisfiability” approach for classical planning establishes a correspondence between planning problems and logical theories, and, consequently, between plans and models. This work proposes a similar framework for contingency planning: considering contingent planning problems where the sources of indeterminism are incomplete knowledge about the initial state, non-inertial fluent...

A route planner for an autonomous land vehicle has been developed that deals explicitly with the incompleteness and uncertainties that can be expected in map data. In particular, the planner finds a preferred route taking into account the potential cost of the detours that may be needed if one or more choke regions are found to be blocked. In addition, it precomputes and saves the alternative o...

The DECAF multi-agent architecture has a scheduler that makes runtime choices based on a user-speci ed utility function that considers action quality, cost, and duration. To make good use of the intelligent scheduler, a planner must provide the scheduler with choices. Every autonomous DECAF agent has an HTN planner that designs plans to make use of the scheduler's intelligence. Previous conting...