Date of Award


Degree Type


Degree Name

Doctor of Philosophy in Computer Science


Computer Science and Statistics

First Advisor

Lutz Hamel


Inductive Logic Programming (ILP) is an area of research that is at the intersection of Machine Learning and Logic Programming. An ILP system uses positive and negative facts (examples) and optional background knowledge to induce a logic program that 1) accurately describes the facts and 2) successfully predicts the outcome of unseen examples.

This thesis introduces a new ILP algorithm implemented in Equational Logic that takes a hybrid approach to induction, using bottom-up generalization combined with inverse narrowing to create recursive equations.

We also introduce a framework for the induction of conditional equations from positive ground examples.

Creative Commons License

Creative Commons Attribution-Noncommercial 4.0 License
This work is licensed under a Creative Commons Attribution-Noncommercial 4.0 License



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.