Bayesian Learning Gaerdenfors' Postulates Identification In The Limit Inductive Logic Programming (ILP) Learning as Optimization Learning as Search Probably Approximately Correct (PAC-) Learning Statistical Learning