Person: Ryan, M.
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 5.

Ryan, M. and Schobbens, P.Y. (2001) Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL. .

ANDREKA, H. and RYAN, M. and SCHOBBENS, P.Y. (2002) Agents as a Key Concept for Information Systems Requirements Engineering. Agent-Oriented Information Systems. .

Harding, A. and Ryan, M. and Schobbens, P.Y. (2002) Approximating ATL. ATL. .

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).

Ryan, M. and Schobbens, P.Y. (2002) Operators and Laws for Combining Preference Relations. Journal of Logic and Computation. .

This list was generated on Mon Sep 10 16:55:06 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