233 search results - page 35 / 47 » Knowledge and modality |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
81
Voted
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
COSIT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Navigating consists of coordinating egocentric and allocentric spatial frames of reference. Virtual environments have afforded researchers in the spatial community with ...
62
Voted
CISIS
2010
IEEE
15 years 2 months ago
2010
IEEE
—The term Enterprise 2.0 applies to the use of Web 2.0 technologies as a support for business activities within the organizations. These technologies are exploited to foster inte...
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. Many recent works point out that there are several possibilities of assigning a meaning to a concept definition containing some sort of recursion. In this paper, we argue...