171 search results - page 6 / 35 » Logical omniscience and common knowledge: WHAT do we know an... |
LREC
2008
13 years 9 months ago
2008
In this paper we present contrastive colour studies done using COMPARA, the largest edited parallel corpus in the world (as far as we know). The studies were the result of semanti...
AMAI
2004
Springer
14 years 28 days ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
AAAI
2000
13 years 9 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
From working with location-based information systems we know that positioning is problematic. A different approach was tested, where users themselves were allowed to name and defi...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
Traditional security analyses are often geared towards cryptographic primitives or protocols. Although such analyses are absolutely necessary, they do not provide much insight for...