Probabilistic modelling, inference and learning using logical theories (Q841641): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-009-9136-7
@@ Property / DOI: 10.1007/s10472-009-9136-7 / rank @@
-Normal rank
@@ Property / author @@
-John W. Lloyd
@@ Property / author: John W. Lloyd / rank @@
-Normal rank
@@ Property / author @@
-William T. B. Uther
@@ Property / author: William T. B. Uther / rank @@
-Normal rank
@@ Property / author @@
+John W. Lloyd
@@ Property / author: John W. Lloyd / rank @@
+Normal rank
@@ Property / author @@
+William T. B. Uther
@@ Property / author: William T. B. Uther / 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 / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BLOG
@@ Property / describes a project that uses: BLOG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-009-9136-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2061004891
@@ Property / OpenAlex ID: W2061004891 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for machine learning and data mining in functional programming
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+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 @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of First-Order Probabilistic Models
@@ Property / cites work: A Survey of First-Order Probabilistic Models / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid probabilistic programs
@@ Property / cites work: Hybrid probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751368
@@ Property / cites work: Q2751368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703808
@@ Property / cites work: Q2703808 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Reasoning about knowledge and probability
@@ Property / cites work: Reasoning about knowledge 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 @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Intelligent Data Analysis VI
@@ Property / cites work: Advances in Intelligent Data Analysis VI / rank @@
+Normal rank
@@ Property / cites work @@
+Q4368723
@@ Property / cites work: Q4368723 / 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 @@
+Factor graphs and the sum-product algorithm
@@ Property / cites work: Factor graphs and the sum-product algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259975
@@ Property / cites work: Q4259975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4806966
@@ Property / cites work: Q4806966 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Modal Theories
@@ Property / cites work: Learning Modal Theories / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Probabilistic Languages: Into the Unknown
+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 logic programming
@@ Property / cites work: Probabilistic logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A probabilistic language based upon sampling functions
+Normal rank
@@ Property / cites work @@
+Q2767045
@@ Property / cites work: Q2767045 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic lambda calculus and monads of probability distributions
+Normal rank
@@ Property / cites work @@
+Markov logic networks
@@ Property / cites work: Markov logic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532188
@@ Property / cites work: Q4532188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003339
@@ Property / cites work: Q4003339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342090
@@ Property / cites work: Q4342090 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10472-009-9136-7
@@ Property / DOI: 10.1007/S10472-009-9136-7 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:841641