427 search results - page 86 / 86 » e-Service Composition by Description Logics Based Reasoning |
104
click to vote
AI
2000
Springer
14 years 11 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
100
click to vote
WS
2010
ACM
14 years 10 months ago
2010
ACM
One of the most important decisions researchers face when analyzing software systems is the choice of a proper data analysis/exchange format. In this paper, we present EvoOnt, a s...