publicaciones seleccionadas artículo αILP: thinking visual scenes as differentiable logic programs 2023