Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence

DOI10.1007/978-3-031-56940-1_12MaRDI QIDQ6630197

Minna Hirvonen

Publication date: 30 October 2024

zbMATH Keywords

polynomial-time algorithmcomplete axiomatizationprobabilistic independencemarginal distribution equivalenceprobabilistic team semanticsmarginal identity

Mathematics Subject Classification ID

Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: Axiomatization of implication for probabilistic independence and unary variants of marginal identity and marginal distribution equivalence