Person: Lomuscio, A.

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

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, pp. 19-33.

Wooldridge, M. and Lomuscio, A. (2001) A Computationally Grounded Logic of Visibility. Perception, and Knowledge In Logic Journal of the IGPL, 9 (2). pp. 273-288.

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). pp. 199-215.

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). pp. 199-215.

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.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.