Jingde Cheng@Department of Information and Computer Sciences,Saitama University,Japan--;
Prediction methods; Analytic simulation; Logic reasoning; Relevant reasoning; Anticipatory reasoning;
机译:在时间逻辑约束下细胞周期,生物钟,DNA修复系统,伊立替康代谢和暴露控制的耦合模型的设计,优化和预测
机译:可确定的时间和顺序相关逻辑
机译:相关经典推论的自适应逻辑
机译:基于时间相关逻辑的预期推理自适应预测
机译:基于自适应模糊逻辑的软件开发工作量预测框架
机译:基于自动模糊逻辑的玉米常见锈病严重程度预测具有门阈化和深度学习
机译:时间相关逻辑作为并发系统动力学推理的逻辑基础
机译:一阶谓词逻辑模型理论及相关时态逻辑