Keyphrases
- service providers
- logic programming
- automated reasoning
- service quality
- classical logic
- mobile services
- service discovery
- information services
- modal logic
- web services
- information systems
- databases
- proof theory
- customer service
- multi valued
- service management
- service oriented
- web service composition
- database
- distributed systems
- case study
- neural network
- data sets