Sciweavers

98 search results - page 8 / 20
» Conditional Independence Relations in Possibility Theory
Sort
View
AIML
2004
15 years 1 months ago
A Systematic Proof Theory for Several Modal Logics
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...
Charles Stewart, Phiniki Stouppa
ICS
2010
Tsinghua U.
15 years 9 months ago
Game Theory with Costly Computation: Formulation and Application to Protocol Security
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...
Joseph Y. Halpern, Rafael Pass
CORR
2008
Springer
102views Education» more  CORR 2008»
14 years 11 months ago
Game Theory with Costly Computation
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
Joseph Y. Halpern, Rafael Pass
INFORMATICALT
2010
134views more  INFORMATICALT 2010»
14 years 9 months ago
Observability of Turing Machines: A Refinement of the Theory of Computation
The Turing machine is one of the simple abstract computational devices that can be used to investigate the limits of computability. In this paper, they are considered from several ...
Yaroslav D. Sergeyev, Alfredo Garro
EUSFLAT
2007
126views Fuzzy Logic» more  EUSFLAT 2007»
15 years 1 months ago
Uncertainty as a Modality over t-norm Based Logics
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
Enrico Marchioni