退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:动态线性时间时序逻辑中动作的推理
Laura Giordano;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:推理行为的时间逻辑
机译:推理行为和计划的时间描述逻辑
机译:基于线性时间时序逻辑的公交快速通道逆流车道交叉口交通信号控制器的推理
机译:使用事务逻辑编程进行知识库动力学的实用推理。
机译:动态认知逻辑中心理推理理论的参数化复杂性
机译:动态线性时间逻辑的动态自动机构造
机译:利用线性时态逻辑的诱导推理对监控视频中的人体行为识别。
机译:模糊逻辑方法在时间故障推理中的应用
机译:时间逻辑推理中的模糊逻辑方法及其在空运处理中的应用
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。