机译:基于论证的计划,维护目标和规范的推理
University of Bath UK;
University of Bath UK;
University of Aberdeen UK;
University of Bath UK;
机译:通过用于民主城市土地利用规划的目标推理的人工智能制造,系统化异质专家知识,情景和目标
机译:格拉维斯:基于模型检查自主系统的规划和目标推理框架
机译:使用计划和常识推理的面向目标的消费类电子接口
机译:信任,“人群的智慧”和社会规范:对等网络中信任的创建,维护和推理
机译:对联合状态空间和基于基础争论的多主体计划推理过程的象征性探索。
机译:推理的发展和必要规范
机译:一切都按计划进行吗?目标推理代理商的期望