Towards Automatic Composition of Web Services: A SAT-Based Phase.

Wojciech Penczek Agata Pólrola Andrzej Zbrzezny

Published in: ACSD/Petri Nets Workshops (2010)

Keyphrases

composition of web services
web services
web service composition
service composition
web services composition
ai planning
knowledge level
answer set programming
sat solvers
machine learning
learning algorithm
search space
knowledge acquisition
orders of magnitude
constraint solver