Probabilities on sentences in an expressive logic (Q2446673): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2013.03.003
@@ Property / DOI: 10.1016/j.jal.2013.03.003 / rank @@
-Normal rank
@@ Property / author @@
-John W. Lloyd
@@ Property / author: John W. Lloyd / rank @@
-Normal rank
@@ Property / author @@
+John W. Lloyd
@@ Property / author: John W. Lloyd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLOG
@@ Property / describes a project that uses: BLOG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IBAL
@@ Property / describes a project that uses: IBAL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2163068690
@@ Property / OpenAlex ID: W2163068690 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58012255
@@ Property / Wikidata QID: Q58012255 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2620
@@ Property / arXiv ID: 1209.2620 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815608
@@ Property / cites work: Q5815608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563224
@@ Property / cites work: Q5563224 / rank @@
+Normal rank
@@ Property / cites work @@
+I-divergence geometry of probability distributions and minimization problems
+Normal rank
@@ Property / cites work @@
+Q5822308
@@ Property / cites work: Q5822308 / rank @@
+Normal rank
@@ Property / cites work @@
+Real Analysis and Probability
@@ Property / cites work: Real Analysis and Probability / rank @@
+Normal rank
@@ Property / cites work @@
+The seven virtues of simple type theory
@@ Property / cites work: The seven virtues of simple type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge and probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184183
@@ Property / cites work: Q5184183 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning measures in first order calculi
@@ Property / cites work: Concerning measures in first order calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities over rich languages, testing and randomness
+Normal rank
@@ Property / cites work @@
+Q4368723
@@ Property / cites work: Q4368723 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532202
@@ Property / cites work: Q4532202 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451078
@@ Property / cites work: Q4451078 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003734
@@ Property / cites work: Q4003734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806966
@@ Property / cites work: Q4806966 / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatic treatment of probability
@@ Property / cites work: On the axiomatic treatment of probability / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Probabilistic Languages: Into the Unknown
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning in a classical logic
@@ Property / cites work: Probabilistic reasoning in a classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic modelling, inference and learning using logical theories
+Normal rank
@@ Property / cites work @@
+The Uncertain Reasoner&amp;#39;s Companion
@@ Property / cites work: The Uncertain Reasoner's Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+A philosophical treatise of universal induction
@@ Property / cites work: A philosophical treatise of universal induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532188
@@ Property / cites work: Q4532188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5599800
@@ Property / cites work: Q5599800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342090
@@ Property / cites work: Q4342090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781256
@@ Property / cites work: Q4781256 / rank @@
+Normal rank
@@ Property / cites work @@
+Objective Bayesian probabilistic logic
@@ Property / cites work: Objective Bayesian probabilistic logic / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/japll/HutterLNU13
@@ Property / DBLP publication ID: journals/japll/HutterLNU13 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2013.03.003
@@ Property / DOI: 10.1016/J.JAL.2013.03.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2446673