Probabilistic logic with independence

DOI10.1016/j.ijar.2007.08.002zbMath1184.68501OpenAlexW2162212030MaRDI QIDQ2379311

Fabio Gagliardi Cozman, José Carlos Ferreira Da Rocha, Cassio Polpo de Campos

Publication date: 19 March 2010

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://pure.qub.ac.uk/en/publications/probabilistic-logic-with-independence(b22ee715-c765-4263-a7b1-f56f3c938bf6).html

zbMATH Keywords

sets of probability distributionsgraph-theoretic modelsprobabilistic logiclinear and multilinear programming

Mathematics Subject Classification ID

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

Related Items (8)

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Structured probabilistic inference ⋮ Independent natural extension ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On the complexity of propositional and relational credal networks ⋮ Towards classifying propositional probabilistic logics ⋮ Automated compilation of object-oriented probabilistic relational models ⋮ A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages

Cites Work

• Answering queries from context-sensitive probabilistic knowledge bases
• Graphoid properties of epistemic irrelevance and independence
• Epistemic irrelevance on sets of desirable gambles
• Computing lower and upper expectations under epistemic independence
• Graph minors. I. Excluding a forest
• Probabilistic logic
• Probabilistic satisfiability
• A logical notion of conditional independence: properties and applications
• Probabilistic logic programming
• A reformulation-linearization technique for solving discrete and continuous nonconvex problems
• Probabilistic Horn abduction and Bayesian networks
• Stochastic independence in a coherent setting
• Epistemic independence for imprecise probabilities
• Direct algorithms for checking consistency and making inferences from conditional probability assessments
• PP is closed under intersection
• Bucket elimination: A unifying framework for reasoning
• Merging the local and global approaches to probabilistic satisfiability
• Complex probabilistic modeling with recursive relational Bayesian networks
• Graphical models for imprecise probabilities
• Markov logic networks
• Compiling relational Bayesian networks for exact inference
• On a new axiomatic theory of probability
• Probabilistic logic programming with conditional constraints
• Graph minors. II. Algorithmic aspects of tree-width
• Finitely additive conditional probabilities
• Probabilistic Networks and Expert Systems
• 10.1162/jmlr.2003.3.4-5.679
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Conditional events in probability assessment and revision
• Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic logic with independence