"logic-based learning" . "logic-based learning" . . .