Knowledge Representations for Planning Manipulation Tasks