Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.
Sara Miner MorePavel NaumovBenjamin SappPublished in: CSL (2011)
Keyphrases
- conditional independence
- axiomatic characterization
- knowledge base
- complete axiomatization
- logic programming
- formal semantics
- database systems
- concurrency control
- causal models
- semantic information
- logical theories
- bayesian networks
- temporal logic
- data flow
- first order logic
- belief change
- computational properties
- possibilistic logic
- probability distribution