80 search results - page 14 / 16 » Specifying and reasoning about uncertain agents |
122
click to vote
AIM
2006
15 years 1 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
105
click to vote
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
115
click to vote
ENTCS
2006
15 years 1 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
125
Voted
IGPL
2010
14 years 11 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
110
click to vote
DBSEC
2010
15 years 3 months ago
2010
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...