Fact checking; Information extraction; Probabilistic soft logic;
机译:使用概率解释系统对认知概率逻辑进行模型检查
机译:检查概率颞抑制逻辑的模型不可透明的情况
机译:使用概率时间逻辑PCTL和模型检验进行上下文预测
机译:用概率的软逻辑从自然文本检查的事实
机译:弥合逻辑和概率模型检查之间的差距。
机译:HPARSER:使用自然语言处理软件从自由文本历史记录和身体报告中提取正式的患者数据。
机译:用概率的软逻辑从自然文本检查的事实
机译:使用概率逻辑的自然语言语义。