Person: d'Inverno, M.

 
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: 16.

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

d'Inverno, M. and Hindriks, K. and Luck, M. (2000) A Formal Architecture for the 3APL Agent Programming Language. In: Proceedings of ZB2000. LNCS, 17 (4). , pp. 621-650.

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. (1996) A Formal View of Social Dependence Networks. In: Distributed Artificial Intelligence Architecture and Modelling: Proceedings of the First Australian Workshop on Distributed Artificial Intelligence. Lecture Notes in Artificial Intelligence, 1087. Springer-Verlag, pp. 115-129.

Hindriks, K. and d'Inverno, M. and Luck, M. (2000) Architecture for Agent Programming Languages. In: Proceedings of the Fourteenth European Conference on Artificial Intelligence. .

Luck, M. and d'Inverno, M. (2001) Autonomy: A Nice Idea in Theory. In: Intelligent Agents VII: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages. Lecture Notes in Artificial Intelligence, 1986. Springer-Verlag.

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

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

d'Inverno, M. and Luck, M. (2001) Multi-agent systems research into the 21st century. Knowledge Engineering Review, 16 (3). pp. 271-275.

Lopez y Lopez, F. and Luck, M. and d'Inverno, M. (2004) Normative Agent Reasoning in Dynamic Societies. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Ashri, R. and Luck, M. and d'Inverno, M. (2003) On Identifying and Managing Relationships in Multi-Agent Systems. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. , Acapulco, Mexico.

Luck, M. and d'Inverno, M. (2000) Plan Analysis for Autonomous Sociological Agents. In: Proceedings of the Seventh International Workshop on Agent Theories, Architectures and Languages. .

d'Inverno, M. and Luck, M. (2002) Practical and Theoretical innovations in multi-agent systems research. Knowledge Engineering Review, 17 (3). pp. 295-301.

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.

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.

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

This list was generated on Mon Sep 10 16:43:23 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.