An anytime deduction algorithm for the probabilistic logic and entailment problems
From MaRDI portal
Publication:962834
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
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