Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
From MaRDI portal
(Redirected from Publication:744991)
Recommendations
- Propositional reasoning about saturated conditional probabilistic independence
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- A finite axiomatization of conditional independence and inclusion dependencies
- A finite axiomatization of conditional independence and inclusion dependencies
- Conditional independence in propositional logic.
Cites work
- scientific article; zbMATH DE number 41085 (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?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- A logical notion of conditional independence: properties and applications
- A mathematical introduction to logic.
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Appropriate inferences of data dependencies in relational databases
- Axiomatisation of functional dependencies in incomplete relations
- Axioms and algorithms for inferences involving probabilistic independence
- Characterisations of multivalued dependency implication over undetermined universes
- Characterising nested database dependencies by fragments of propositional logic
- Charting the completeness frontier of inference systems for multivalued dependencies
- Concurrency semantics for the Geiger-Paz-Pearl axioms of independence
- Conditional independence in propositional logic.
- Correction to “An equivalence between relational database dependencies and a fragment of propositional logic”
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- Dependence and independence
- Functional Dependencies in a Relational Database and Propositional Logic
- Functional dependencies and constraints on null values in database relations
- Hierarchies in Dependence Logic
- Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
- Independence in database relations
- Independence in information spaces
- Logical and algorithmic properties of conditional independence and graphical models
- Logical and algorithmic properties of independence and their application to Bayesian networks
- Logical and algorithmic properties of stable conditional independence
- On inferences of full first-order hierarchical decompositions
- On interchangeability of Nash equilibria in multi-player strategic games
- On the Equivalence of Database Models
- On the conditional independence implication problem: a lattice-theoretic approach
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the undecidability of implications between embedded multivalued database dependencies
- Propositional reasoning about saturated conditional probabilistic independence
- Semantic foundations of 4NF in relational database design
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
- Tractable reasoning via approximation
Cited in
(10)- On the finite and general implication problems of independence atoms and keys
- Propositional reasoning about saturated conditional probabilistic independence
- Logics for approximating implication problems of saturated conditional independence
- On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
- 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
- Partition Dependencies in Hierarchies of Probabilistic Decision Tables
- A logical approach to context-specific independence
- A Logical Approach to Context-Specific Independence
- A computational algebraic-geometry method for conditional-independence inference
This page was built for publication: Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744991)
