An anytime deduction algorithm for the probabilistic logic and entailment problems

DOI10.1016/J.IJAR.2008.03.005zbMATH Open1191.68682OpenAlexW2111570599MaRDI QIDQ962834FDOQ962834

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

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

zbMATH Keywords

probabilistic reasoning

Mathematics Subject Classification ID

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

Cites Work

• Probabilistic logic
• Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
• A linear programming approach to reasoning about probabilities
• Branch-and-price: Column generation for solving huge integer programs
• Column Generation Methods for Probabilistic Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Anytime deduction for 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
• Title not available (Why is that?)
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Axiomatization of frequent itemsets
• Probabilistic satisfiability
• Automata, Languages and Programming
• Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
• Boole's conditions of possible experience and reasoning under uncertainty
• 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)