Yan Garcez presentations