967 search results - page 115 / 194 » Probabilistic Predicative Programming |
133
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
139
Voted
AAAI
2012
13 years 5 months ago
2012
The presence of non-symmetric evidence has been a barrier for the application of lifted inference since the evidence destroys the symmetry of the first-order probabilistic model....
242
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
110
click to vote
PODS
1994
ACM
15 years 6 months ago
1994
ACM
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
125
Voted
ISIPTA
2005
IEEE
15 years 8 months ago
2005
IEEE
This papers investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic in...