机译:规划在量化答案集编程中的不完整信息
Omaha State Univ Omaha NE 68182 USA|Univ Potsdam Potsdam Germany;
Univ Potsdam Potsdam Germany;
Univ Potsdam Potsdam Germany;
Univ Potsdam Potsdam Germany;
New Mexico State Univ Las Cruces NM 88003 USA;
answer set programming; planning; quantified logics;
机译:使用答案集编程进行感知动作,不完整信息和静态因果律的推理和计划
机译:从(量化的)布尔公式到答案集编程
机译:答复答案自主外科任务规划计划的归纳学习:外科医生培训任务的应用
机译:答案集程序的量化均衡逻辑和基础
机译:用概率答案集编程进行推理和学习
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:使用感知操作,不完整信息和推理进行推理和规划 使用答案集编程的静态因果律
机译:清洁水印度套餐 - 助学金计划:常见问题解答,2007年3月