australia belgium bioinformatics bled bonn corvallis czech republic england france germany hungary japan katholieke universiteit leuven leuven logic programming london machine learning natural language processing oregon oregon state university progol porto portugal prague santiago de compostela slovenia spain stephen muggleton stockholm strasbourg sweden sydney szeged tokyo viana do castelo wisconsin