Propositional reasoning about saturated conditional probabilistic independence

DOI10.1007/978-3-642-32621-9_19MaRDI QIDQ2915032zbMATH OpenOpenAlexFDO

Authors Sebastian Link

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_19

Mathematics Subject Classification ID

Axioms; other general questions in probability (60A05) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
• Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
• Conditional independence in propositional logic.

Cited in

(6)

• On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• A computational algebraic-geometry method for conditional-independence inference
• scientific article; zbMATH DE number 1017516 (Why is no real title available?)
• Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions

This page was built for publication: Propositional reasoning about saturated conditional probabilistic independence

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