Automated composition of web services with the abductive event calculus. - Esra Kirci Ozorhan; Esat Kaan Kuban; Nihan Kesim Cicekli (Inf. Sci., 2010)