Mission
Tutorials/Demonstrations
An Introduction to
Probabilistic ILP


Protein Classification by
Kernels on Prolog Proof
Trees


The Profile Toolbox

Learning biochemical
models from temporal
logic properties


Multi-Class Protein Fold
Classification Using
Stochastic Logic
Programs

Acknowledgements
Contact Information