...
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
US Army, War Coll, Carlisle, PA 17013 USA;
Univ Calif Irvine, Paul Merage Sch Business, Irvine, CA 92697 USA;
abduction; hypothetico-deductive thinking; theory building;
机译:用归纳逻辑编程对Datalog±本体进行推理
机译:寻求解释的形式上的正式说明:归纳推理的自适应逻辑方法
机译:迈向一阶逻辑的归纳推理
机译:贝叶斯归纳逻辑程序:归纳推理的概率逻辑
机译:数学概率论的发现:以数学探究逻辑为例。
机译:表达性模糊粗糙描述逻辑中的推理
机译:科学探究造成局部推理的分析编码框架的发展
机译:利用线性时态逻辑的诱导推理对监控视频中的人体行为识别。