252 search results - page 45 / 51 » Knowledge, Time, and Logical Omniscience |
PLDI
2009
ACM
14 years 6 days ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
CAMAD
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
ITS
2010
Springer
13 years 9 months ago
2010
Springer
A vital goal of instruction is to enable learners to transfer acquired knowledge to appropriate future situations. For elementary school children in middle-high-SES schools, “exp...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...