Autonomous Agents and Multi-Agent Systems （AAMAS） - August 2009, issue 1 论文列表
| 点击这里查看 Autonomous Agents and Multi-Agent Systems 的JCR分区、影响因子等信息 |
| 卷期号： August 2009, issue 1 |
| 发布时间： |
| 卷期年份： 2009 |
| 卷期官网： https://link.springer.com/journal/10458/volumes-and-issues/19-1 |
本期论文列表
Formal approaches to multi-agent sysems
Toward a programming theory for rational agents
Models and methods for plan diagnosis
Modal tableaux for verifying stream authentication protocols
On BAN logic and hash functions or: how an unjustified inference rule causes problems