4224 search results - page 125 / 845 » Reasoning about Choice |
177
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
167
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
119
Voted
COGSCI
2008
15 years 5 months ago
2008
Historians of science have pointed to essentialist beliefs about species as major impediments to the discovery of natural selection. The present study investigated whether such be...
132
click to vote
KR
1989
Springer
15 years 9 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
112
click to vote
AIIA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...