465 search results - page 18 / 93 » Knowledge and the Problem of Logical Omniscience |
FSKD
2008
Springer
13 years 8 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
ECCV
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
CADE
2009
Springer
14 years 8 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
ICALT
2003
IEEE
14 years 27 days ago
2003
IEEE
The knowledge society brings its own challenges and demands upon its citizens. Key amongst these is the need to empower people to become lifelong learners, to reflect upon their o...
FOSSACS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...