106 search results - page 10 / 22 » Probabilistically Checkable Arguments |
106
Voted
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...
104
Voted
ML
2008
ACM
15 years 12 days ago
2008
ACM
Abstract. Recently, there has been an increasing interest in directed probabilistic logical models and a variety of languages for describing such models has been proposed. Although...
86
Voted
IJAR
2008
15 years 14 days ago
2008
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...
87
Voted
ECCV
2006
Springer
15 years 4 months ago
2006
Springer
This paper is an argument for two assertions: First, that by representing correspondence probabilistically, drastically more correspondence information can be extracted from image...
102
click to vote
ICML
2007
IEEE
16 years 1 months ago
2007
IEEE
The scores returned by support vector machines are often used as a confidence measures in the classification of new examples. However, there is no theoretical argument sustaining ...