Probabilistic modelling, inference and learning using logical theories
type: Item
instance of: scholarly article
title: Probabilistic modelling, inference and learning using logical theories
zbMATH Open document ID: 1178.68589
author: K. S. Ng
author: John W. Lloyd
author: William T. B. Uther
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2009-09-18T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 03B48
zbMATH DE Number: 5604828
zbMATH Keywords: inference algorithms
describes a project that uses: ETPS
describes a project that uses: Church
describes a project that uses: IBAL
describes a project that uses: PRISM
describes a project that uses: Haskell
describes a project that uses: BLOG
MaRDI profile type: Publication
full work available at URL: s10472-009-9136-7
OpenAlex ID: W2061004891
cites work: Models for machine learning and data mining in functional programming
cites work: Q4726218
cites work: Logic Programming and Nonmonotonic Reasoning
cites work: Q3069694
cites work: Q5815608
cites work: A formulation of the simple theory of types
cites work: A Survey of First-Order Probabilistic Models
cites work: Hybrid probabilistic programs
cites work: Higher-order unification and matching
cites work: A mathematical introduction to logic.
cites work: FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
cites work: Reasoning about knowledge and probability
cites work: The seven virtues of simple type theory
cites work: Q3983043
cites work: Advances in Intelligent Data Analysis VI
cites work: Q4368723
cites work: An analysis of first-order logics of probability
cites work: Q4451078
cites work: Completeness in the theory of types
cites work: Factor graphs and the sum-product algorithm
cites work: Q4259975
cites work: Q4806966
cites work: Learning Modal Theories
cites work: First-Order Probabilistic Languages: Into the Unknown
cites work: Probabilistic reasoning in a classical logic
cites work: Probabilistic logic programming
cites work: Probabilistic logic
cites work: A probabilistic language based upon sampling functions
cites work: Q2767045
cites work: Stochastic lambda calculus and monads of probability distributions
cites work: Markov logic networks
cites work: Q4532188
cites work: Q4003339
cites work: Q4342090
DOI: 10.1007/S10472-009-9136-7
description: scientific article; zbMATH DE number 5604828