机译:基于语义的逻辑表示和自动监管合规性检查的推理
Univ Illinois, Dept Civil & Environm Engn, 205 N Mathews Ave, Urbana, IL 61801 USA;
Univ Illinois, Dept Civil & Environm Engn, 205 N Mathews Ave, Urbana, IL 61801 USA;
Automated compliance checking; Automated reasoning; First-order logic; Logic programming; Semantic systems; Automated construction management systems;
机译:自动化信息转换,用于施工中的自动法规遵从性检查
机译:将语义NLP和逻辑推理集成到统一系统中,以进行全自动代码检查
机译:建筑法规的计算机表示,用于自动合规性检查
机译:基于语义的环境法规文件文本分类,以支持施工中的自动环境合规性检查
机译:法规遵从性:检查箱子并保护信息系统。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:在采用建筑环境中采用自动化监管合规性检查
机译:监管一致性检查的默认时间逻辑