Probabilistic reasoning in a classical logic

DOI10.1016/j.jal.2007.11.008zbMath1174.03006MaRDI QIDQ2390656

John W. Lloyd, K. S. Ng

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

zbMATH Keywords

probability densities; higher-order logic; type theory; probabilistic reasoning; integrating logic and probability

Mathematics Subject Classification ID

03B48: Probability and inductive logic

68T37: Reasoning under uncertainty in the context of artificial intelligence

Related Items

Probabilistic modelling, inference and learning using logical theories

Uses Software

• ETPS
• BLOG
• PRMLT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An analysis of first-order logics of probability
• Probabilistic logic
• Probabilistic logic programming
• Markov logic networks
• The computational complexity of probabilistic inference using Bayesian belief networks
• Reasoning about knowledge and probability
• The generalized distributive law
• Factor graphs and the sum-product algorithm
• Models for machine learning and data mining in functional programming
• Real Analysis and Probability
• Hybrid probabilistic programs
• Stochastic lambda calculus and monads of probability distributions
• A probabilistic language based upon sampling functions
• Logic Programming and Nonmonotonic Reasoning
• First-Order Probabilistic Languages: Into the Unknown
• Learning Modal Theories
• Advances in Intelligent Data Analysis VI
• Graphical models