Financial regulations; Controlled natural language; Compliance checking; Regulation formalisation;
机译:使用行为空间检查流程是否符合自然语言规范
机译:集成自然语言处理和空间推理以进行公用程序符合性检查
机译:Naproche系统:以受控的自然语言对数学文本进行校对
机译:用于金融服务的受控自然语言合规性检查
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:回顾性检查急性卒中治疗实践指南的符合性:使用openEHR的指南定义语言进行的新颖实验
机译:Naproche项目:数学文本的受控自然语言证明