Login / Signup
An abductive framework for a-priori verification of web services.
Marco Alberti
Marco Gavanelli
Evelina Lamma
Federico Chesani
Paola Mello
Marco Montali
Published in:
PPDP (2006)
Keyphrases
</>
web services
case study
main contribution
data sets
databases
neural network
information retrieval
search engine
probabilistic model
web applications
lightweight
service providers
model checking
semantic web services
web services composition
abductive logic programming