机译:约束满足和计划中智能回溯与基于失败驱动的基于解释的学习之间的关系
机译:基于解释的学习,用于智能流程规划
机译:从观察中学习计划图式:用于计划识别的基于解释的学习
机译:用于调试约束满足问题的基于解释的工具
机译:最大约束满足问题的智能回溯算法的扩展分析
机译:通过约束发布和传播进行基于说明的学习。
机译:满足约束条件的治疗计划:基于计算机的抗逆转录病毒治疗顾问用于管理HIV。
机译:满足与计划中智能回溯与基于失败驱动的解释学习的关系
机译:扩展基于解释的学习:故障驱动的模式细化