A Logical Approach to Context-Specific Independence

DOI10.1007/978-3-662-52921-8_11zbMath1478.03067OpenAlexW2481744215MaRDI QIDQ2820693

Antti Hyttinen, Jouko Väänänen, Jukka Corander, Johan Pensar, Juha Kontinen

Publication date: 9 September 2016

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

Full work available at URL: http://hdl.handle.net/10138/319756

Mathematics Subject Classification ID

Applications of graph theory (05C90) Other applications of logic (03B80) Probabilistic graphical models (62H22)

Related Items (2)

Team semantics for interventionist counterfactuals: observations vs. interventions ⋮ Complexity thresholds in inclusion logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Context-specific independence in graphical log-linear models
• Axiomatizing first-order consequences in dependence logic
• Axiomatizing first-order consequences in independence logic
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
• On the conditional independence implication problem: a lattice-theoretic approach
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
• On the undecidability of implications between embedded multivalued database dependencies
• Approximation and Dependence via Multiteam Semantics
• Reasoning About Embedded Dependencies Using Inclusion Dependencies
• Identifying independence in bayesian networks
• A Finite Axiomatization of Conditional Independence and Inclusion Dependencies

This page was built for publication: A Logical Approach to Context-Specific Independence