Probabilistic modelling, inference and learning using logical theories

DOI10.1007/S10472-009-9136-7zbMATH Open1178.68589OpenAlexW2061004891MaRDI QIDQ841641FDOQ841641

Authors: K. S. Ng, John W. Lloyd, William T. B. Uther 

Publication date: 18 September 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9136-7

Recommendations

• Probabilistic reasoning in a classical logic
• Logic Programming and Nonmonotonic Reasoning
• Algorithmic Learning Theory
• Introduction to the special issue on probability, logic and learning
• Probabilistic logic with independence

zbMATH Keywords

inference algorithms

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic
• A mathematical introduction to logic.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Markov logic networks
• Reasoning about knowledge and probability
• Title not available (Why is that?)
• A formulation of the simple theory of types
• Completeness in the theory of types
• Title not available (Why is that?)
• FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
• Probabilistic logic programming
• Factor graphs and the sum-product algorithm
• An analysis of first-order logics of probability
• Stochastic lambda calculus and monads of probability distributions
• Higher-order unification and matching
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hybrid probabilistic programs
• Logic Programming and Nonmonotonic Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• A probabilistic language based upon sampling functions
• The seven virtues of simple type theory
• Probabilistic reasoning in a classical logic
• A Survey of First-Order Probabilistic Models
• Title not available (Why is that?)
• Models for machine learning and data mining in functional programming
• First-Order Probabilistic Languages: Into the Unknown
• Learning Modal Theories
• Advances in Intelligent Data Analysis VI

Cited In (18)

• Representation theorems for explanatory reasoning based on cumulative models
• Probabilities on sentences in an expressive logic
• Title not available (Why is that?)
• Learning and modeling with probabilistic conditional logic.
• Interpretable encoding of densities using possibilistic logic
• Title not available (Why is that?)
• Probabilistic reasoning in a classical logic
• Probability, logic and learning synthesis: formalizing the prediction concept
• Objective Bayesian probabilistic logic
• CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods
• Incremental construction and evaluation of defeasible probabilistic models
• Title not available (Why is that?)
• Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
• Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
• Models for Many-Valued Probabilistic Reasoning
• Leveraging cluster backbones for improving MAP inference in statistical relational models
• Introduction to the special issue on probability, logic and learning
• ON THE STRUCTURE OF PROBABILITY FUNCTIONS IN THE NATURAL WORLD

Uses Software

• Haskell
• ETPS
• IBAL
• Church
• BLOG
• PRISM

This page was built for publication: Probabilistic modelling, inference and learning using logical theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q841641)