TY  -  
T1  - Facets of Distribution Identities in Probabilistic Team Semantics 
SN  -  /  
UR  - http://hdl.handle.net/10138/310088 
T3  - Lecture Notes in Computer Science 
A1  - Hannula, Miika; Hirvonen, Åsa; Kontinen, Juha; Kulikov, Vadim; Virtema, Jonni 
A2  - Calimeri, Francesco; Leone, Nicola; Manna, Marco 
PB  - Springer 
Y1  - 2019 
LA  - eng 
AB  - We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication pr... 
VO  -  
IS  -  
SP  -  
OP  -  
KW  - 111 Mathematics; Team semantics; Probabilistic logic; Conditional independence 
N1  -   
PP  -  
ER  -