机译:网页中的自然语言不受约束的时间不一致检查
Wuhan Univ Sch Comp Sci Wuhan Peoples R China;
SUNY Binghamton Dept Comp Sci Binghamton NY USA;
Wuhan Univ Sch Comp Sci Wuhan Peoples R China;
unconstrained inconsistency; temporal inconsistency checking; webpage quality; big data; services computing;
机译:一种检查时间逻辑规范和欧米茄常规语言的闭包特性的算法方法
机译:EMIL:使用受控的自然语言界面从不一致的语言中提取含义以进行辩论
机译:自然语言不一致
机译:时间动作语言(TAL):一种用于检查自然语言时间要求的一致性的受控语言(初步结果)
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:基于UMLS的拼写检查器用于疫苗安全中的自然语言处理
机译:基于超一致逻辑的不一致并发系统时间方面的模型检查