1791 search results - page 176 / 359 » Semantics and Complexity of SPARQL |
161
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
167
click to vote
JAIR
2010
15 years 3 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
143
click to vote
PERCOM
2005
ACM
16 years 4 months ago
2005
ACM
Pervasive computing environments offer a multitude of information services that provide potentially complex types of information. Therefore, when running access control for sensit...
146
click to vote
EDBTW
2010
Springer
15 years 12 months ago
2010
Springer
We investigate the complexity of performing updates on probabilistic XML data for various classes of probabilistic XML documents of different succinctness. We consider two elemen...
151
click to vote
IRI
2005
IEEE
15 years 10 months ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...