Abstract
As planning agents grow more sophisticated, plan representation issues arise. Planners work over increasingly large and difficult problems and output is often complex or unwieldy. Further, where planners must interact with human users — either for plan verification and analysis, or in mixed-initiative settings — plans must be represented so that the intended course of action is readily available. We propose automated techniques for simplification of, and conversion between, plan representations.