Probabilistic reasoning in a classical logic

DOI10.1016/J.JAL.2007.11.008zbMATH Open1174.03006OpenAlexW2102189694MaRDI QIDQ2390656FDOQ2390656

Authors: K. S. Ng, John W. Lloyd 

Publication date: 3 August 2009

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2007.11.008

Recommendations

• scientific article; zbMATH DE number 988760
• Probabilistic modelling, inference and learning using logical theories
• Publication:3028979
• Probability logics
• Probabilities on sentences in an expressive logic

zbMATH Keywords

type theoryprobabilistic reasoninghigher-order logicprobability densitiesintegrating logic and probability

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Pattern recognition and machine learning.
• Real Analysis and Probability
• Graphical models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic
• Title not available (Why is that?)
• Markov logic networks
• Reasoning about knowledge and probability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic logic programming
• Title not available (Why is that?)
• Factor graphs and the sum-product algorithm
• An analysis of first-order logics of probability
• Stochastic lambda calculus and monads of probability distributions
• The computational complexity of probabilistic inference using Bayesian belief networks
• The generalized distributive law
• 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?)
• Title not available (Why is that?)
• A probabilistic language based upon sampling functions
• Title not available (Why is that?)
• 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 (8)

• Probabilistic modelling, inference and learning using logical theories
• Reasoning about conditional probabilities in a higher-order-logic theorem prover
• Probabilities on sentences in an expressive logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic interpretation of logical inference in possibility theory
• Probabilistic Logic and Induction
• Title not available (Why is that?)

Uses Software

• ETPS
• BLOG
• PRMLT

This page was built for publication: Probabilistic reasoning in a classical logic

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