scientific article; zbMATH DE number 1187083

MaRDI QIDQ3840285zbMATH OpenFDO

Authors Kim Allan Andersen

Publication date 27 September 2000

zbMATH Keywords

balanced matrixconsistencyhypergraphinteger programmingprobabilistic logic

Mathematics Subject Classification ID

General logic (03B99) Integer programming (90C10)

Recommendations

• On consistency in probabilistic logic for logical formulas represented by B-hypertrees
• Characterizing consistency in probabilistic logic for a class of Horn clauses
• Interval-valued probabilistic logic for a class of Horn clauses
• A Probabilistic Logic with Polynomial Weight Formulas
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Cited in

(6)

• On consistency in probabilistic logic for logical formulas represented by B-hypertrees
• Characterizing consistency in probabilistic logic for a class of Horn clauses
• Interval-valued probabilistic logic for a class of Horn clauses
• Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs
• Theory and algorithms for analysing the consistent region in probabilistic logic
• Efficient probabilistic reasoning in BNs with mutual exclusion and context-specific independence

This page was built for publication:

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