|
Number of items: 13.
Decker, K. and Fisher, M. and Luck, M. and Tennenholtz, M.
(1999)
Continuing Research in Multi-Agent Systems.
Knowledge Engineering Review, 14 (3).
.
d'Inverno, M. and Fisher, M. and Lomuscio, A. and Luck, M. and De Rijke, M. and Ryan, M. and Wooldridge, M.
(1997)
Formalisms for Multi-Agent Systems.
The Knowledge Engineering Review, 12 (3).
Luck, M. and Fisher, M. and Preist, C.
(2002)
Foundations and Applications of Multi-Agent Systems.
In:
Title of Book UNSPECIFIED
Lecture Notes in Artificial Intelligence, 2403.
Springer-Verlag, .
Luck, M. and Fisher, M.
(1998)
Foundations of Multi-Agent Systems: Techniques, Tools and Theory.
Knowledge Engineering Review, 13 (3).
.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M.
(2003)
Model Checking AgentSpeak.
In:
Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03).
, Melbourne, Australia.
Bordini, R.H. and Fisher, M. and Pardavila, C. and Visser, W. and Wooldridge, M.
(2003)
Model Checking Multi-AGent Programs with CASP.
In:
Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003).
, Boulder, Colorado.
Wooldridge, M. and Fisher, M. and Huget, M.P. and Parsons, S.
(2002)
Model Checking Multiagent systems with MABLE.
In:
Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02).
, Bologna, Italy.
Bordini, R. and Fisher, M. and Visser, M. and Wooldridge, M.
(2004)
Model checking rational agents.
IEEE Intelligent Systems.
.
Hirsch, B. and Fisher, M. and Ghidini, C. and Busetta, P.
(2004)
Organising Software in Active Environments.
In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.
Fisher, M. and Ghidini, C.
(1999)
Programming Resource-Bounded Deliberative Agents.
In: IJCAI99.
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.H. and Fisher, M. and Visser, W. and Wooldridge, M.
(2004)
State-Space Reduction Techniques in Agent Verification.
In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.
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.
This list was generated on Mon Sep 10 16:43:47 BST 2007.
|
