1536 search results - page 146 / 308 » The Underlying Logic of Hoare Logic |
179
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
194
click to vote
ICAS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
174
click to vote
DIS
2007
Springer
16 years 16 days ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
169
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
151
click to vote
ICMCS
2006
IEEE
16 years 12 days ago
2006
IEEE
Measurement of the delay is an important and common problem in communication over packet networks. The endto-end and the round trip delay are among the factors directly impacting ...