|
Number of items: 16.
Luck, M. and d'inverno, M.
(2001)
A Conceptual Framework for Agent Definition and Development.
The Computer Journal, 44 (1).
.
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).
, .
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, .
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, .
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).
.
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).
.
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).
.
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, .
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).
.
Luck, M. and d'Inverno, M.
(2003)
Unifying Agent Systems.
Annals of Mathematics and Artificial Intelligence, 37 (1-2).
.
This list was generated on Mon Sep 10 16:43:23 BST 2007.
|
