3353 search results - page 187 / 671 » Laver and set theory |
167
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
There are many ways to define complexity in logic. In finite model theory, it is the complexity of describing properties, whereas in proof complexity it is the complexity of provin...
161
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
147
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
151
click to vote
APIN
2005
15 years 6 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
168
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract-- Our starting point is the multiplicative utility function which is extensively used in the theory of multicriteria decision making. Its associativity is shown and as its...