512 search results - page 35 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
CLIMA
2007
14 years 11 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
AI
2005
Springer
14 years 9 months ago
2005
Springer
Because of privacy concerns, agents may not want to reveal information that could be of use in problem solving. As a result, there are potentially important tradeoffs between main...
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
GIS
1999
ACM
15 years 2 months ago
1999
ACM
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...