Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

DOI10.1016/j.jal.2007.11.002zbMath1172.03316OpenAlexW2091888588MaRDI QIDQ2390651

Fabio Gagliardi Cozman, José Eduardo Ochoa Luna, Cassio Polpo de Campos

Publication date: 3 August 2009

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

Full work available at URL: https://pure.qub.ac.uk/en/publications/assembling-a-consistent-set-of-sentences-in-relational-probabilistic-logic-with-stochastic-independence(f34d27ec-ce01-422e-9eac-6f3330c48796).html

zbMATH Keywords

stochastic independencegraph-theoretic modelsprobabilistic logiclinear and multilinear programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

A semantic study of the first-order predicate logic with uncertainty involved

Uses Software

• BUGS
• BLOG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Answering queries from context-sensitive probabilistic knowledge bases
• An analysis of first-order logics of probability
• Statistical decision theory and Bayesian analysis. 2nd ed
• Probabilistic logic
• Probabilistic satisfiability
• Probabilistic logic programming
• Finitely additive conditional probabilities, conglomerability and disintegrations
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Probabilistic Horn abduction and Bayesian networks
• Decidability and expressiveness for first-order logics of probability
• Anytime deduction for probabilistic logic
• Stochastic independence in a coherent setting
• A logic for reasoning about probabilities
• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• On the complexity of inference about probabilistic relational models
• Complex probabilistic modeling with recursive relational Bayesian networks
• Probabilistic logic with independence
• Markov logic networks
• Probabilistic logic programming with conditional constraints
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Probabilities over rich languages, testing and randomness
• Column Generation Methods for Probabilistic Logic
• Probability logic
• Probabilistic Networks and Expert Systems
• 10.1162/jmlr.2003.3.4-5.679
• Inductive Logic Programming
• First-Order Probabilistic Languages: Into the Unknown
• Representation of conditional probability measures on Boolean algebras

This page was built for publication: Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence