Probabilistic logic with independence

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

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

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 distributions; graph-theoretic models; probabilistic logic; linear and multilinear programming

Mathematics Subject Classification ID

03B48: Probability and inductive logic

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

Related Items

Independent natural extension, Automated compilation of object-oriented probabilistic relational models, Structured probabilistic inference, Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

Cites Work

• 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
• 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