-services based on automated reasoning.

Daniela Berardi Giuseppe De Giacomo Maurizio Lenzerini Massimo Mecella Diego Calvanese

Published in: ICSOC (2004)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem proving
decision procedures
probabilistic reasoning
reasoning tasks
service providers
service oriented
web services
theorem prover
automated verification
end users
service composition
knowledge representation and reasoning