An anytime deduction algorithm for the probabilistic logic and entailment problems
type: Item
instance of: scholarly article
title: An anytime deduction algorithm for the probabilistic logic and entailment problems
zbMATH Open document ID: 1191.68682
author: Brigitte Jaumard
author: A. D. Parreira
published in: International Journal of Approximate Reasoning
publication date: 2010-04-07T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 03B48
zbMATH DE Number: 5690118
zbMATH Keywords: probabilistic reasoning
MaRDI profile type: Publication
full work available at URL: j.ijar.2008.03.005
OpenAlex ID: W2111570599
cites work: Probabilistic logic
cites work: Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
cites work: Axiomatization of frequent itemsets
cites work: The complexity of satisfying constraints on databases of transactions
cites work: Automata, Languages and Programming
cites work: Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
cites work: Probabilistic satisfiability
cites work: Column Generation Methods for Probabilistic Logic
cites work: Anytime deduction for probabilistic logic
cites work: Q4242057
cites work: Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
cites work: Boole's conditions of possible experience and reasoning under uncertainty
cites work: Best Possible Inequalities for the Probability of a Logical Function of Events
cites work: Q5630824
cites work: Branch-and-price: Column generation for solving huge integer programs
cites work: Q4254875
cites work: A linear programming approach to reasoning about probabilities
DOI: 10.1016/J.IJAR.2008.03.005
description: scientific article; zbMATH DE number 5690118