382 search results - page 49 / 77 » Proof Theory for Distributed Knowledge |
MOBIHOC
2009
ACM
14 years 9 months ago
2009
ACM
Location-free boundary recognition is crucial and critical for many fundamental network functionalities in wireless ad hoc and sensor networks. Previous designs, often coarse-grai...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The ability to proactively offer assistance promises to make personal agents more helpful to their users. We characterize the properties desired of proactive behaviour by a person...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
ARGMAS
2006
Springer
13 years 10 months ago
2006
Springer
Social influences play an important part in the actions that an individual agent may perform within a multi-agent society. However, the incomplete knowledge and the diverse and co...
AAAI
1998
13 years 9 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...