171 search results - page 14 / 35 » Logical omniscience and common knowledge: WHAT do we know an... |
WWW
2011
ACM
13 years 2 months ago
2011
ACM
Once information retrieval has located a document, and information extraction has provided its contents, how do we know whether we should actually believe it? Fact-finders are a ...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Software vendors are unaware of how their software performs in the field. They do not know what parts of their software are used and appreciated most and have little knowledge ab...
HRI
2010
ACM
14 years 2 months ago
2010
ACM
—Managing user expectations of personal robots becomes particularly challenging when the end-user just wants to know what the robot can do, and neither understands nor cares abou...
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
ATAL
2003
Springer
14 years 24 days ago
2003
Springer
The problem investigated in this paper is the distribution of goals addressed to a group of rational agents. Those agents are characterized by their ability (i.e. what they can do...