11160 search results - page 391 / 2232 » Incompleteness in a General Setting |
153
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...
193
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
156
click to vote
AML
2006
15 years 7 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...
154
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
Previous work has shown the perhaps surprising result that, for any binary phylogenetic tree T , there is a set of four characters that define T . Here we deal with the general ca...
146
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes a general framework for converting online game playing algorithms into constrained convex optimization algorithms. This framework allows us to convert the wel...