Subject: 1.2.4 Agent representation and specification formalisms
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 24.

[Course] Dix, Jurgen (2005) Multi-Agent Systems.

d'Inverno, M. and Luck, M. and Georgeff, M. and Kinny, D. and Wooldridge, M. (2004) The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems, 9 (1-2). pp. 5-53.

Giret, Adriana and Botti, Vicente (2004) Towards an Abstract Recursive Agent. Integrated Computer-Aided Engineering, 11 (2). pp. 165-177. ISSN 1069-2509

Braun, P. (2003) The Migration Process of Mobile Agents - Implementation, Classification, and Optimization. PhD thesis, Friedrich-Schiller-Universität Jena.

Leite, J. A. (2003) Evolving knowledge bases: specification and semantics. Frontiers in Artificial Intelligence and Applications, 81. IOS Press. ISBN 1 58603 278 X

Luck, M. and d'Inverno, M. (2003) Unifying Agent Systems. Annals of Mathematics and Artificial Intelligence, 37 (1-2). pp. 131-167.

Van der Hoek, W. and Thijsse, E. (2002) A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. Studia Logica, 72 (1). pp. 61-84.

Van der Hoek, W. and Verbrugge, R. (2002) Epistemic Logic: a Survey. In: Game Theory and Applications. Nova Science Publishers, New York, pp. 53-94. ISBN 1-59033-373-

Gomez-Sanz, Jorge and Pavon, Juan and Garijo, Francisco (2002) Metamodels for building multi-agent systems. In: Symposium of Applied Computing 2002, Madrid.

Van der Hoek, W. and Wooldridge, M. (2002) Model Checking Knowledge and Time. In: SPIN 2002 -- Proceedings of the Ninth International SPIN Workshop on Model Checking of Software. , Grenoble, France.

Huget, M.-P. and Odell, J. and Bauer, B. (2002) UML and Agents: Current Trends and Future Directions. In: OOPSLA Workshop Agent Oriented Methodologies.

Luck, M. and d'inverno, M. (2001) A Conceptual Framework for Agent Definition and Development. The Computer Journal, 44 (1). pp. 1-20.

Bauer, B. and Müller, J.P. and Odell, J. (2001) Agent UML: A Formalism for Specifying Multiagent Software Systems. International Journal on Software Engineering and Knowledge Engineering (IJSEKE), 11 (3). pp. 1-24.

Luck, M. (2001) Formal Agent Development: Framework to System. In: Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000. Lecture Notes in Artificial Intelligence, 1871. Springer-Verlag, Berlin, pp. 133-147.

Bauer, B. and Müller, J.P. and Odell, J. (2000) Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Proceedings, ICSE 2000 Workshop on Agent-Oriented Software Engineering AOSE 2000, Limerick. Springer Verlag, pp. 121-140.

Odell, J. and Paranuk, H.v.D. and Bauer, B. (2000) Extending UML for Agents. In: Proc. of the Agent-Oriented Information Systems, Workshop at the 17th National conference on Artificial Intelligence. , Austin, TX, pp. 3-17.

Luck, M. (1999) Agent Models and Plans. In: Agents Everywhere: Proceedings of the First Hungarian National Conference on Agent Based Computing. Springer Hungarica, pp. 44-58.

d'Inverno, M. and Kinny, D. and Luck, M. and Wooldridge, M. (1998) A Formal Specification of dMARS. In: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1365. Springer-Verlag, pp. 155-176.

d'Inverno, M. and Luck, M. (1998) Engineering AgentSpeak(L): A Formal Computational Model. Journal of Logic and Computation, 8 (3). pp. 233-260.

Luck, M. (1997) Development and Application of a Formal Agent Framework. In: Proceedings of the First IEEE International Conference on Formal Engineering Methods. , Hiroshima, Japan.

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

[Software] Wallis, S. (1997) SDML. [Other]

Luck, M. (1995) A Formal Framework for Agency and Autonomy. In: Proceedings of the First International Conference on Multi-Agent Systems. AAAI Press / MIT Press, pp. 254-260.

Luck, M. and d'Inverno, M. (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems. In: ZUM '95: The Z Formal Specification Notation, 9th International Conference of Z Users. Lecture Notes in Computer Science, 967. Springer-Verlag, Heidelberg, pp. 47-62.

This list was generated on Mon Sep 10 17:00:27 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