Ključne besede: programiranje, induktivno logično programiranje, specializacija hipotez, Hyper, disertacijeCelotno besedilo (povezava drugam)