30 search results - page 1 / 6 » Cox's Theorem Revisited |
CORR
1999
Springer
13 years 4 months ago
1999
Springer
AAAI
1996
13 years 6 months ago
1996
Cox's well-known theorem justifying the use of probability is shown not to hold in nite domains. The counterexample also suggests that Cox's assumptions are insu cient t...
ECP
1997
Springer
13 years 9 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
Estimating frequency moments and Lp distances are well studied problems in the adversarial data stream model and tight space bounds are known for these two problems. There has been...
TLCA
1993
Springer
13 years 8 months ago
1993
Springer
This paper describes a method of proving strong normalization based on an extension of the conservation theorem. We introduce a structural notion of reduction that we call βS, and...