4217 search results - page 15 / 844 » Computational indistinguishability logic |
108
Voted
JVA
2006
IEEE
15 years 6 months ago
2006
IEEE
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
110
click to vote
IWFM
2003
15 years 2 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
103
Voted
WOLLIC
2007
Springer
15 years 7 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
84
Voted
AAAI
1998
15 years 2 months ago
1998
This paper describes a logical machineryfor computing decisions based on an ATMSprocedure, wherethe available knowledgeon the state of the world is describedbya possibilistic prop...
109
click to vote
AAAI
2010
15 years 2 months ago
2010
Lifting can greatly reduce the cost of inference on firstorder probabilistic graphical models, but constructing the lifted network can itself be quite costly. In online applicatio...