Logics of dependence and independence: The local variants.
Erich GrädelPhil PützstückPublished in: J. Log. Comput. (2021)
Keyphrases
- dependence structure
- independence assumption
- modal logic
- expressive power
- information retrieval
- artificial intelligence
- conditional independence
- logic programs
- proof theory
- epistemic logic
- conditional logic
- inference rules
- databases
- graphical models
- higher order
- data model
- expert systems
- database systems
- case study
- machine learning