A Local Logic for Realizability in Web Service Choreographies.
Ramaswamy RamanujamS. SheerazuddinPublished in: WWV (2014)
Keyphrases
- web services
- logic programming
- defeasible logic
- service providers
- modal logic
- classical logic
- semantic web services
- predicate logic
- multi valued
- automated reasoning
- service oriented
- reference architecture
- proof theory
- knowledge base
- neural network
- service architecture
- web service discovery
- truth values
- data sets
- web service selection
- probabilistic logic
- description language
- quality of service
- multi agent systems
- case study
- artificial intelligence