An anytime deduction algorithm for the probabilistic logic and entailment problems

DOI10.1016/j.ijar.2008.03.005zbMath1191.68682OpenAlexW2111570599MaRDI 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

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

Related Items

GPS trajectory data segmentation based on probabilistic logic, 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