537 search results - page 15 / 108 » A Theory of Inferred Causation |
175
click to vote
NIPS
2008
15 years 7 months ago
2008
Hierarchical probabilistic modeling of discrete data has emerged as a powerful tool for text analysis. Posterior inference in such models is intractable, and practitioners rely on...
143
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
177
click to vote
FROCOS
2009
Springer
16 years 19 days ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
188
click to vote
MRCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. One of the cornerstones of any intelligent entity is the ability to understand how occurrences in the surrounding world influence its own behaviour. Different states, o...
171
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...