An anytime deduction algorithm for the probabilistic logic and entailment problems

DOI10.1016/j.ijar.2008.03.005zbMath1191.68682MaRDI QIDQ962834

Brigitte Jaumard, A. D. Parreira

Publication date: 7 April 2010

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

Full work available at URL: https://doi.org/10.1016/j.ijar.2008.03.005

zbMATH Keywords

probabilistic reasoning

Mathematics Subject Classification ID

03B48: Probability and inductive logic

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

Related Items

Merging the local and global approaches to probabilistic satisfiability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Probabilistic logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Probabilistic satisfiability
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Anytime deduction for probabilistic logic
• A linear programming approach to reasoning about probabilities
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• Axiomatization of frequent itemsets
• Boole's conditions of possible experience and reasoning under uncertainty
• The complexity of satisfying constraints on databases of transactions
• Branch-and-Price: Column Generation for Solving Huge Integer Programs
• Column Generation Methods for Probabilistic Logic
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Automata, Languages and Programming