Service Composition and Execution Plan Generation of Composite Semantic WEB Services Using Abductive Event Calculus. (27th December 2015)