A Logical Approach to Context-Specific Independence

DOI10.1007/978-3-662-52921-8_11MaRDI QIDQ2820693zbMATH OpenOpenAlexFDO

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

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) Probabilistic graphical models (62H22) Other applications of logic (03B80)

Recommendations

• A logical approach to context-specific independence
• scientific article; zbMATH DE number 5734948
• Explicating logical independence
• Independence logic and abstract independence relations
• Dependence logic. A new approach to independence friendly logic
• Independence and concurrent separation logic
• A contextual logical framework
• scientific article; zbMATH DE number 1670481
• Some independence results in interpretability logic
• A logical notion of conditional independence: properties and applications

Cites work

• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 176109 (Why is no real title available?)
• scientific article; zbMATH DE number 3635280 (Why is no real title available?)
• A finite axiomatization of conditional independence and inclusion dependencies
• Approximation and dependence via multiteam semantics
• Axiomatizing first-order consequences in dependence logic
• Axiomatizing first-order consequences in independence logic
• Axioms and algorithms for inferences involving probabilistic independence
• Context-specific independence in graphical log-linear models
• Dependence and independence
• Dependence logic. A new approach to independence friendly logic
• Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
• Identifying independence in bayesian networks
• Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
• 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
• On the undecidability of implications between embedded multivalued database dependencies
• Probabilistic graphical models.
• Reasoning about embedded dependencies using inclusion dependencies
• Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty

Cited in

(10)

• Decomposable context-specific models
• Labeled directed acyclic graphs: a generalization of context-specific independence in directed graphical models
• scientific article; zbMATH DE number 1420892 (Why is no real title available?)
• Logical Data Independence Reconsidered (Extended Abstract)
• Team semantics for interventionist counterfactuals: observations vs. interventions
• Qualitative Bayesian networks with logical constraints
• Complexity thresholds in inclusion logic
• A logical approach to context-specific independence
• scientific article; zbMATH DE number 1696713 (Why is no real title available?)
• CPD tree learning using contexts as background knowledge

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

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