An anytime deduction algorithm for the probabilistic logic and entailment problems

DOI10.1016/J.IJAR.2008.03.005MaRDI QIDQ962834zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Anytime deduction for probabilistic logic
• Probabilistic satisfiability
• scientific article; zbMATH DE number 4176494
• An investigation of the general solution to entailment in probabilistic logic
• Probabilistic logic programming with conditional constraints

Cites work

• scientific article; zbMATH DE number 1285158 (Why is no real title available?)
• scientific article; zbMATH DE number 1312984 (Why is no real title available?)
• scientific article; zbMATH DE number 3356467 (Why is no real title available?)
• A linear programming approach to reasoning about probabilities
• Anytime deduction for probabilistic logic
• Automata, Languages and Programming
• Axiomatization of frequent itemsets
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Boole's conditions of possible experience and reasoning under uncertainty
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
• Branch-and-price: Column generation for solving huge integer programs
• Column Generation Methods for Probabilistic Logic
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• Probabilistic logic
• Probabilistic satisfiability
• The complexity of satisfying constraints on databases of transactions

Cited in

(3)

• GPS trajectory data segmentation based on probabilistic logic
• Merging the local and global approaches to probabilistic satisfiability
• Anytime deduction for probabilistic logic

This page was built for publication: An anytime deduction algorithm for the probabilistic logic and entailment problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q962834)