Automated Web Service Composition by On-The-Fly Belief Space Search