An anytime deduction algorithm for the probabilistic logic and entailment problems (Q962834)

From MaRDI portal





scientific article; zbMATH DE number 5690118
Language Label Description Also known as
English
An anytime deduction algorithm for the probabilistic logic and entailment problems
scientific article; zbMATH DE number 5690118

    Statements

    An anytime deduction algorithm for the probabilistic logic and entailment problems (English)
    0 references
    0 references
    0 references
    7 April 2010
    0 references
    probabilistic reasoning
    0 references

    Identifiers