|
Number of items: 7.
Lomuscio, A. and Wooldridge, M. and Jennings, N.R.
(2001)
A Classification Scheme for Negotiation in Electronic Commerce.
In:
Agent-Mediated Electronic Commerce: A European AgentLink Perspective.
Springer Verlag, .
Wooldridge, M. and Lomuscio, A.
(2001)
A Computationally Grounded Logic of Visibility.
Perception, and Knowledge In Logic Journal of the IGPL, 9 (2).
.
Jennings, N.R. and Faratin, P. and Lomuscio, A. and Parsons, S. and Sierra, C. and Wooldridge, M.
(2001)
Automated negotiation: prospects, methods and challenges.
Int. J. of Group Decision and Negotiation, 10 (2).
.
Jennings, N.R. and Faratin, P. and Lomuscio, A. and Parsons, S. and Sierra, C. and Wooldridge, M.
(2001)
Automated negotiation: prospects, methods and challenges.
International Journal of Group Decision and Negotiation, 10 (2).
.
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).
Raimondi, F. and Lomuscio, A.
(2004)
Symbolic model checking of multi-agent systems via OBDDs: an algorithm and its implementation.
In:
The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems.
.
Kacprzak, M. and Lomuscio, A. and Lomuscio, W.
(2004)
Verification of multiagent systems via unbounded model checking.
In:
The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems.
.
This list was generated on Mon Sep 10 16:51:31 BST 2007.
|
