...
机译:将语义NLP和逻辑推理集成到统一系统中,以进行全自动代码检查
Western Michigan Univ, Dept Civil & Construct Engn, 1903 W Michigan Ave, Kalamazoo, MI 49008 USA;
Univ Illinois, Dept Civil & Environm Engn, 205 N Mathews Ave, Urbana, IL 61801 USA;
Automated code checking; Automated information extraction; Automated reasoning; Building information modeling (BIM); Natural language processing; Logic; Semantic systems; Automated construction management systems;
机译:基于语义的逻辑表示和自动监管合规性检查的推理
机译:在统一建模语言伪像中集成计算树逻辑模型检查的方法论:嵌入式控制器的案例研究
机译:统一建模语言伪影中集成计算树逻辑模型检查的方法:嵌入式控制器的案例研究
机译:AMR的逻辑:适用于NLP的实用,统一,基于图的句子语义
机译:近似推理,自参考逻辑以及在系统建模中使用非经典逻辑
机译:集合论逻辑和概率:将定性推理整合到定量生物学教学统计中
机译:amR的逻辑:NLp的实用,统一,基于图形的句子语义
机译:自动认知逻辑作为非单调推理的统一基础