Logics for Dependence and Independence (Dagstuhl Seminar 15261).

Erich Grädel Juha Kontinen Jouko Väänänen Heribert Vollmer

Published in: Dagstuhl Reports (2015)

Keyphrases

dependence structure
independence assumption
expressive power
modal logic
inference rules
database
databases
neural network
artificial intelligence
graphical models
collaborative learning
conditional independence
marginal distributions
classical logic
conditional logic
collaborative e learning