1514 search results - page 5 / 303 » Cues to Common Knowledge |
CORR
1998
Springer
13 years 7 months ago
1998
Springer
: We consider the common-knowledge paradox raised in [HM90]: common knowledge is necessary for coordination, but common knowledge is unattainable in the real world because of tempo...
INFORMATICALT
2006
13 years 7 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
TARK
2005
Springer
14 years 1 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
IUI
2009
ACM
14 years 4 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
COOPIS
2002
IEEE
14 years 24 days ago
2002
IEEE
Abstract. Open Mind Common Sense is a knowledge acquisition system designed to acquire commonsense knowledge from the general public over the web. We describe and evaluate our firs...