Keyphrases
- web services
- automatic discovery
- web applications
- web service composition
- business processes
- multi valued
- service architecture
- logic programming
- predicate logic
- service oriented
- business process
- classical logic
- nonmonotonic logics
- modal logic
- web service discovery
- web services composition
- formal descriptions
- asynchronous circuits
- description languages
- automated reasoning
- data sets
- distributed systems
- service providers
- quality of service
- semantic web services
- description language
- digital circuits
- service discovery
- set theory
- deontic logic
- service selection
- linear logic
- lightweight
- computational properties
- proof theory
- logical framework
- real time