On efficient consistency checks by robots
On efficient consistency checks by robots
复制标题
机器人的高效一致性检查
DOI：
10.1109/ecc.2014.6862528
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Qu H
中科院分区：
文献类型：
--
作者：
Qu H
登录
查看更多内容
影响因子：
3.3
作者：
N. Lincoln;S. Veres
通讯作者：
N. Lincoln;S. Veres
认知逻辑和规划
DOI：
--
发表时间：
2004
期刊：
International Conference on Knowledge-Based Intelligent Information & Engineering Systems
影响因子：
--
作者：
S. Maghsoudi;I. Watson
通讯作者：
I. Watson
医学知识库中二元分类关系的一致性检查
DOI：
--
发表时间：
1992
期刊：
Artif. Intell. Medicine
影响因子：
--
作者：
W. Moser;K. Adlassnig
通讯作者：
K. Adlassnig
DOI：
10.1177/0959651811408502
发表时间：
2012
期刊：
Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering
影响因子：
--
作者：
S. Veres
通讯作者：
S. Veres
时间认知逻辑的数据对称性降低技术
DOI：
10.1007/978-3-642-04761-9_6
发表时间：
2009
期刊：
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
影响因子：
--
作者：
Mika Cohen;M. Dam;A. Lomuscio;Hongyang Qu
通讯作者：
Hongyang Qu