A Logical Approach to Context-Specific Independence

DOI10.1007/978-3-662-52921-8_11zbMATH Open1478.03067OpenAlexW2481744215MaRDI QIDQ2820693FDOQ2820693

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Probabilistic graphical models.
• 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
• Dependence logic. A new approach to independence friendly logic
• Reasoning about embedded dependencies using inclusion dependencies
• Axiomatizing first-order consequences in dependence logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatizing first-order consequences in independence logic
• Identifying independence in bayesian networks
• 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
• A finite axiomatization of conditional independence and inclusion dependencies
• Context-specific independence in graphical log-linear models

Cited In (10)

• Decomposable context-specific models
• Labeled directed acyclic graphs: a generalization of context-specific independence in directed graphical models
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)