Keyphrases
- existentially quantified
- first order logic
- expressive power
- variable selection
- conditional probabilities
- modal logic
- inference rules
- random variables
- function symbols
- continuous variables
- causal relationships
- input variables
- independent variables
- transitive closure
- datalog programs
- conditional logic
- default logic
- relevant variables
- neural network