Symbolic Logic Integration of logic and rules with probability/machine learning
Integration of logic and rules with machine learning (inductive logic programming, statistical relational learning, knowledge-based model building, Bayesian nets, probabilistic logic learning, hidden Markov models) used for digital transformation, artificial intelligence, and machine learning tasks.