Multitask kernel-based learning with logic constraints