University of Toronto (Canada).;
机译:协调分类学和系统发生学推论:描述不和谐和推断分类学根源的形式主义和算法
机译:算法科学推断:在我们可计算的预期现实中
机译:计算争议:用于检测Wikipedia和搜索查询中争议的正式模型和算法
机译:基于模糊推理的掩埋物体检测多种算法融合
机译:统计系统发生推理并行计算算法的研究与应用。
机译:协调分类学和系统发生学推论:描述不和谐和推论分类学根源的形式主义和算法
机译:语用推理和语用推理的形式主义和算法 检测通行证