机译:CTP:一种新的基于约束的形式主义,用于有条件的时间规划
Department of Biomedical Informatics, Yanderbilt University;
temporal reasoning; constraint-based planning; conditional planning;
机译:基于空间/时间条件概率分析的灾害响应规划大规模内陆洪水情景的发展
机译:基于立即约束的定性空间和时间推理的推论
机译:基于邻域单例风格一致性的基于质约束的时空推理
机译:混合命题度量时间逻辑:时间规划的新形式主义
机译:基于约束的时间推理算法及其在规划中的应用。
机译:构建基于约束的仿真系统以创建紧急疏散计划:以癌症医疗中心的门诊化疗区域为例
机译:基于时空条件概率分析的大规模内陆洪水灾害应对方案开发