Code for the master's thesis "Automated Knowledge Discovery" by Nicholas Katz. Supervisors: Klaus Lichtenegger and Andreas Windisch.