机译:基于时间约束满足的自治计划系统
Deep Space Exploration Research Center, Harbin Institute of Technology, Harbin 150001, China;
autonomous planning system; object-oriented knowledge representation; spacecraft; temporal constraint satisfaction;
机译:基于时间约束满足的自治计划系统
机译:基于时间约束满足的自治计划系统
机译:一个计划辅助工具:一个基于约束满足来计划问题的智能建模系统
机译:临时表达计划作为约束满足问题
机译:基于约束的时间推理算法及其在规划中的应用。
机译:满足约束条件的治疗计划:基于计算机的抗逆转录病毒治疗顾问用于管理HIV。
机译:基于动态加权最大约束满足问题解决方案的护士调度系统基于临时约束 -