Efficient Proof Encoding. - Uros Pompe (Inductive Logic Programming Workshop, 1996)

Probabilistic First-Order Classification. - Uros Pompe; Igor Kononenko 001 (ILP, 1997)

Efficient Induction and Effective Use of First-Order Knowledge. - Uros Pompe; Igor Kononenko 001 (Appl. Artif. Intell., 1998)

Noise-Tolerant Recursive Best-First Induction. - Uros Pompe (ICML, 1999)