|
Number of items: 7.
Ancona, D. and Mascardi, V. and Hubner, J. and Bordini, R.
(2004)
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
In:
The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems.
.
Ancona, D. and Mascardi, V. and Hubner, J. and Bordini, R.
(2004)
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.
Proceedings of AAMAS.
.
[Software] Bordini, R. and Hübner, J.F.
(2004)
Jason. [Other]
Bordini, R. and Fisher, M. and Visser, M. and Wooldridge, M.
(2004)
Model checking rational agents.
IEEE Intelligent Systems.
.
Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-Space Reduction Techniques in Agent Verification.
In:
The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems.
.
Bordini, R. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-space reduction techniques in agent verification.
Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems.
, New York.
Bordini, R. and Okuyama, F.Y. and de Oliveira, D. and Drehmer, G. and Krafta, R.C.
(2002)
The MAS-SOC approach to multi-agent based simulation.
Proceedings of the First International Workshop on Regulated Agent-Based Social Systems: Theories and Applications.
.
This list was generated on Mon Sep 10 16:41:00 BST 2007.
|
