机译:机器发现和假设形成的形式逻辑
Logic of discovery; Hypothesis generation; GUHA method; Data analysis; Data mining; Fuzzy logic;
机译:机器发现和假设形成的形式逻辑
机译:科学理论的形式模型和计算模型中的发现/证明情境二分法:削弱基于非单调逻辑的区分
机译:对可重构加工系统的逻辑控制器进行分析和设计的形式验证
机译:机器发现和假设形成的形式逻辑
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:使用基于逻辑的机器学习食物链的自动发现从生态学数据
机译:机器发现和假设形成的形式逻辑