Logic-based machine learning

The last three decades has seen the development of Computational Logic techniques within Artificial Intelligence. This has led to the development of the subject of Logic Programming (LP), which can be viewed as a key part of Logic-Based Artificial Intelligence. The subtopic of LP concerned with Machine Learning is known as "Inductive Logic Programming" (ILP), which again can be broadened to Logic-Based Machine Learning by dropping Horn clause restrictions. ILP has its roots in the ground-breaking research of Cordon Plotkin and Ehud Shapiro. This paper provides a brief survey of the state of ILP applications, theory and techniques.