Graphical models
Mathematics
Logic
Mathematical logic
First-order logic
Model theory
Predicate logic
Abox
Eval
Bayesian network
Ring
Markov random field