Software, application and libraries developed by our group
Meta Inverse Entailment(MIE) python learning system
Pygol
Main author: Dany Varghese
Github
Polynomial-time Program Learning
Louise
Main author: Stassa Patsantzis
Github
Numerical reasoning and learning
NumLog
Main author: Daniel Cyrus
Github
Meta Interpretive Learning system
Prolog2
Main author: James Trewern
Github
Python and Prolog wrapper
PyILP
Main author: Dany Varghese
Github
