Learning first order concept definitions by using a bidirectional heuristic search strategyMarkus WieseEsaurito4,3Avvisami