...
机译:用时间答案集对动作进行推理
Dipartimento di Information, Universita del Piemonte Orientate, Italy;
Dipartimento di Informatica, Universita di Torino, Italy;
Dipartimento di Informatica, Universita del Piemonte Orientate, Italy;
answer set programming; temporal logic; bounded model checking;
机译:定性时空推理的答案集程序设计:方法和实验
机译:使用答案集编程进行感知动作,不完整信息和静态因果律的推理和计划
机译:视频问题用时空推理回答
机译:Woled:在线学习权重答案的工具,在不确定性下的时间推理规则
机译:一种模态时态逻辑,用于推理变更数据库,并将其应用于自然语言问题回答(人工智能)。
机译:时间信息提取表示的系统架构叙事报告中的思维与推理
机译:定性时空推理的答案集编程:方法和实验
机译:利用线性时态逻辑的诱导推理对监控视频中的人体行为识别。