机译:中文KOS的形式化语义描述标准族(Ⅱ):分类方案共享服务系统的研究与实现
机译:区间粗略的论及描述逻辑:语义网本体中不精确的形式化处理方法
机译:基于本体的技能描述语义匹配的形式化方法
机译:正式语义描述的挑战:主要方法的回应
机译:父母对前列腺癌和家族风险的沟通行为:PSA时代的动机,挑战和方法
机译:在语义和赌博任务中对预期违规的电生理反应:不同EEG参考方法的比较
机译:在Web上弥合社会语义和形式语义的挑战
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.