Learning efficient logical robot strategies involving composable objects - Cropper, A; Muggleton, S (IJCAI, 2015)