...
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
Bilkent Univ Dept Comp Engn Ankara Turkey;
Middle East Tech Univ Dept Comp Engn Ankara Turkey;
Robotic task planning; Linear logic; Automated theorem proving; Visual navigation; Backchaining; RHex hexapod;
机译:机器人任务规划,使用乘法指数一阶线性逻辑的乘法定理报告
机译:正常条件逻辑的嵌套后续演算和定理证明:定理证明者NESCOND
机译:关系模型对于乘法指数线性逻辑是内射的
机译:线性计划逻辑:用于机器人任务计划的高效语言和定理证明器
机译:用一阶定理普通的推出计划分析
机译:动态模型学习在移动机器人导航任务中线性可解马尔可夫决策过程的评估
机译:线性计划逻辑:用于机器人任务计划的高效语言和定理证明器