KnowledgeRepresentationMeetsStochastic Planning