退出
我的积分:
中文文献批量获取
外文文献批量获取
刘一松; 谢聪银;
江苏大学计算机科学与通信工程学院;
江苏镇江212013;
描述逻辑; 动作理论; 状态更新; 断言; 动作推理; 知识表示;
机译:事件本体中动作形式主义的扩展描述逻辑
机译:事件中动作推理的时间描述逻辑
机译:基于描述逻辑的因果关系处理动作形式主义中的分枝问题
机译:用于基于表格的描述逻辑推理的基于计划的公理吸收。
机译:每个动作如何改变下一个动作:到达时快速自适应先验的实验和理论研究
机译:基于描述逻辑的本体研究模拟了民用动作的补偿
机译:产品模型开发的描述逻辑评价
机译:一种用于基于情况的动作确定动作的装置,该车辆能够基于情况确定动作的车辆,一种基于情况的动作的方法和用于控制车辆的方法
机译:基于描述逻辑知识的机器人任务计划系统
机译:基于上下文确定动作的系统,用于执行基于上下文确定的动作的车辆以及基于上下文确定动作的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。