Keyphrases
- automated theorem proving
- web services
- theorem prover
- theorem proving
- answer set programming
- automatic discovery
- business processes
- web applications
- quality of service
- description language
- semantic web services
- service oriented
- composition of web services
- service oriented architecture
- service providers
- service composition
- service discovery
- business process
- data intensive
- service architecture
- first order logic
- web service composition
- loosely coupled
- classical logic
- inference rules
- end users
- web services composition
- search space
- artificial intelligence