537 search results - page 40 / 108 » A Theory of Inferred Causation |
POPL
2010
ACM
15 years 9 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
105
click to vote
Lecture Notes
These notes cover several topics such as The classic capital asset pricing model, The CAPM in general equilibrium, Infinite horizon economies, Continuous time models, Asset pricing...
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Statistical default logic is a variation of classical (i.e., Reiter’s) default logic designed to represent basic inference forms common in inferential statistics. In this paper ...
110
click to vote
CORR
2000
Springer
14 years 11 months ago
2000
Springer
Abstract. We introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the in...
111
Voted
IPMU
1992
Springer
15 years 4 months ago
1992
Springer
This paper deals with the problem of inference under uncertain information. This is a generalization of a paper of Cardona et al. (1991a) where rules were not allowed to contain n...