Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus. - Ken Nariai; Incheon Paik; Mitsuteru Shinozawa (CIT, 2005)

A Flexible and Dynamic CSP Solver for Web Service Composition in the Semantic Web Environment. - Daisuke Maruyama; Incheon Paik; Mitsuteru Shinozawa (CIT, 2006)