Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
DOI10.1016/j.jal.2007.11.002zbMath1172.03316MaRDI QIDQ2390651
Cassio Polpo de Campos, Fabio Gagliardi Cozman, José Eduardo Ochoa Luna
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
stochastic independence; graph-theoretic models; probabilistic logic; linear and multilinear programming
68T27: Logic in artificial intelligence
03B48: Probability and inductive logic
68T30: Knowledge representation
68T37: Reasoning under uncertainty in the context of artificial intelligence
Uses Software
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