Reasoning About Policies in Security-Aware Service Discovery Using Answer Set Programming.
Vernon AsuncionKhaled M. KhanAbdelkarim ErradiSaleh AlhazbiPublished in: Int. J. Cooperative Inf. Syst. (2016)
Keyphrases
- answer set programming
- service discovery
- logic programs
- logic programming
- answer sets
- semantic web services
- web services
- constraint logic programming
- web services discovery
- pervasive computing
- web service discovery
- computing environments
- access control
- stable model semantics
- service oriented architecture
- causal theories
- answer set programs
- haplotype inference
- pervasive computing environments
- service composition
- databases
- service description
- formal theory
- stable models
- disjunctive logic programming
- service oriented
- knowledge representation
- search algorithm
- artificial intelligence
- declarative programming