Exploiting inference in temporal planning problems with concurrency