precondition; Preconditions; Automatic;
机译:使用约束的Horn子句的前提推理的迭代方法
机译:眼前额神经元在感觉预处理任务中基于模型推断的信号感觉联系
机译:具有学习功能的数据驱动前提推理
机译:PreInfer:通过符号分析自动推断前提条件
机译:事件结构词典(GESL)的生成器:用于文本推理任务的事件结构的自动注释。
机译:用于肺结节的计算机辅助诊断的自动推理模型构建:解释充分推理准确性和专家知识
机译:自动补丁生成系统的代码转换和搜索空间的自动推断