Matches in SemOpenAlex for { <https://semopenalex.org/work/W1596729752> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1596729752 abstract "This paper discusses the semantics and proof theory of Nilsson's probabilistic logic, outlining both the benefits of its well-defined model theory and the drawbacks of its proof theory. Within Nilsson's semantic framework, we derive a set of inference rules which are provably sound. The resulting proof system, in contrast to Nilsson's approach, has the important feature of convergence - that is, the inference process proceeds by computing increasingly narrow probability intervals which converge from above and below on the smallest entailed probability interval. Thus the procedure can be stopped at any time to yield partial information concerning the smallest entailed interval." @default.
- W1596729752 created "2016-06-24" @default.
- W1596729752 creator A5023456047 @default.
- W1596729752 creator A5049086782 @default.
- W1596729752 date "2013-03-27" @default.
- W1596729752 modified "2023-09-27" @default.
- W1596729752 title "Convergent Deduction for Probabilistic Logic" @default.
- W1596729752 cites W1492647052 @default.
- W1596729752 cites W1522290492 @default.
- W1596729752 cites W2154630361 @default.
- W1596729752 cites W2797148637 @default.
- W1596729752 hasPublicationYear "2013" @default.
- W1596729752 type Work @default.
- W1596729752 sameAs 1596729752 @default.
- W1596729752 citedByCount "0" @default.
- W1596729752 crossrefType "posted-content" @default.
- W1596729752 hasAuthorship W1596729752A5023456047 @default.
- W1596729752 hasAuthorship W1596729752A5049086782 @default.
- W1596729752 hasConcept C108710211 @default.
- W1596729752 hasConcept C11413529 @default.
- W1596729752 hasConcept C114614502 @default.
- W1596729752 hasConcept C118615104 @default.
- W1596729752 hasConcept C144237770 @default.
- W1596729752 hasConcept C154945302 @default.
- W1596729752 hasConcept C177264268 @default.
- W1596729752 hasConcept C184337299 @default.
- W1596729752 hasConcept C199343813 @default.
- W1596729752 hasConcept C199360897 @default.
- W1596729752 hasConcept C2318724 @default.
- W1596729752 hasConcept C2524010 @default.
- W1596729752 hasConcept C2776214188 @default.
- W1596729752 hasConcept C2777686260 @default.
- W1596729752 hasConcept C2778067643 @default.
- W1596729752 hasConcept C33923547 @default.
- W1596729752 hasConcept C3746660 @default.
- W1596729752 hasConcept C41008148 @default.
- W1596729752 hasConcept C49937458 @default.
- W1596729752 hasConcept C71924100 @default.
- W1596729752 hasConcept C80444323 @default.
- W1596729752 hasConceptScore W1596729752C108710211 @default.
- W1596729752 hasConceptScore W1596729752C11413529 @default.
- W1596729752 hasConceptScore W1596729752C114614502 @default.
- W1596729752 hasConceptScore W1596729752C118615104 @default.
- W1596729752 hasConceptScore W1596729752C144237770 @default.
- W1596729752 hasConceptScore W1596729752C154945302 @default.
- W1596729752 hasConceptScore W1596729752C177264268 @default.
- W1596729752 hasConceptScore W1596729752C184337299 @default.
- W1596729752 hasConceptScore W1596729752C199343813 @default.
- W1596729752 hasConceptScore W1596729752C199360897 @default.
- W1596729752 hasConceptScore W1596729752C2318724 @default.
- W1596729752 hasConceptScore W1596729752C2524010 @default.
- W1596729752 hasConceptScore W1596729752C2776214188 @default.
- W1596729752 hasConceptScore W1596729752C2777686260 @default.
- W1596729752 hasConceptScore W1596729752C2778067643 @default.
- W1596729752 hasConceptScore W1596729752C33923547 @default.
- W1596729752 hasConceptScore W1596729752C3746660 @default.
- W1596729752 hasConceptScore W1596729752C41008148 @default.
- W1596729752 hasConceptScore W1596729752C49937458 @default.
- W1596729752 hasConceptScore W1596729752C71924100 @default.
- W1596729752 hasConceptScore W1596729752C80444323 @default.
- W1596729752 hasLocation W15967297521 @default.
- W1596729752 hasOpenAccess W1596729752 @default.
- W1596729752 hasPrimaryLocation W15967297521 @default.
- W1596729752 hasRelatedWork W1536726987 @default.
- W1596729752 hasRelatedWork W1546751507 @default.
- W1596729752 hasRelatedWork W1585180219 @default.
- W1596729752 hasRelatedWork W162672334 @default.
- W1596729752 hasRelatedWork W162882313 @default.
- W1596729752 hasRelatedWork W1848846592 @default.
- W1596729752 hasRelatedWork W2064340730 @default.
- W1596729752 hasRelatedWork W2084614212 @default.
- W1596729752 hasRelatedWork W2094079506 @default.
- W1596729752 hasRelatedWork W2239722922 @default.
- W1596729752 hasRelatedWork W2356677580 @default.
- W1596729752 hasRelatedWork W2394868555 @default.
- W1596729752 hasRelatedWork W2897666907 @default.
- W1596729752 hasRelatedWork W2950456521 @default.
- W1596729752 hasRelatedWork W2962804246 @default.
- W1596729752 hasRelatedWork W2977656662 @default.
- W1596729752 hasRelatedWork W2994722524 @default.
- W1596729752 hasRelatedWork W3037188312 @default.
- W1596729752 hasRelatedWork W3037545603 @default.
- W1596729752 hasRelatedWork W3048817003 @default.
- W1596729752 isParatext "false" @default.
- W1596729752 isRetracted "false" @default.
- W1596729752 magId "1596729752" @default.
- W1596729752 workType "article" @default.