895 search results - page 20 / 179 » Dynamic Distributed Constraint Reasoning |
100
click to vote
JAIR
2010
14 years 8 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...
102
click to vote
CADE
2001
Springer
15 years 9 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
159
click to vote
GIS
2003
ACM
15 years 10 months ago
2003
ACM
Moving object databases store and process data for objects that change location frequently. Materialized views maintained over time must be updated to reflect changes due to the m...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
73
Voted
MDM
2004
Springer
15 years 2 months ago
2004
Springer
Mobile agents have often been advocated as the solution to the problem of designing and implementing distributed applications in a dynamic environment. Mobile agents provide a ver...