Autonomous Asteroid Exploration by Rational Agents
Autonomous Asteroid Exploration by Rational Agents
复制标题
理性智能体自主小行星探索
DOI：
10.1109/mci.2013.2279559
复制
发表时间：
2013
影响因子：
9
通讯作者：
Lincoln N
中科院分区：
文献类型：
--
作者：
Lincoln N
登录
查看更多内容
Gwendolen：可验证代理的 BDI 语言
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
Louise Dennis;Berndt Müller
通讯作者：
Berndt Müller
降低混合控制系统中的代码复杂性
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
Louise Dennis;Michael Fisher;N. Lincoln;S. Veres;A. Lisitsa
通讯作者：
A. Lisitsa
使用混合自动机进行验证 使用混合自动机进行验证
DOI：
--
发表时间：
2009
期刊：
影响因子：
--
作者：
Ammar Mohammed;U. Furbach
通讯作者：
U. Furbach
DOI：
--
发表时间：
2007
期刊：
影响因子：
--
作者：
S. Veres;N. Lincoln;S. Gabriel
通讯作者：
S. Gabriel
DOI：
--
发表时间：
1995
期刊：
ECAI Workshop on Agent Theories, Architectures, and Languages
影响因子：
--
作者：
J. Müller;M. Pischel;Michael Thiel
通讯作者：
Michael Thiel