Logics for Dependence and Independence (Dagstuhl Seminar 19031).
Erich GrädelPhokion G. KolaitisJuha KontinenHeribert VollmerPublished in: Dagstuhl Reports (2019)
Keyphrases
- dependence structure
- independence assumption
- expressive power
- modal logic
- decision trees
- classical logic
- conditional independence
- conditional dependence
- data sets
- propositional calculus
- computational properties
- inference rules
- logic programming
- temporal logic
- marginal distributions
- higher order
- expert systems
- valued logic
- feature selection
- genetic algorithm
- machine learning