1. Mark d'Inverno and Michael Luck, editors. Understanding agent systems, Springer series on agent technology.. Springer, New York, 2001.
   Note: 2001031126 Mark d'Inverno. Michael Luck (eds.) Includes bibliographical references and index.
   Keywords: agents, honours reading, proof theory. [bibtex-entry]

1. Mark D'Inverno, Michael Luck, Michael Georgeff, David Kinny, and Michael Wooldridge. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents & Multi-Agent Systems, 9:5--53, 2004.
   Keywords: agent programming languages, honours reading. [bibtex-entry]



2. F. Alonso, M. d'Inverno, D. Kudenko, M. Luck, and J. Noble. Learning in Agents and Multi-Agent Systems. Knowledge Engineering Review, 16(3):277--284, 2001.
   Keywords: machine learning, agents, honours reading. [bibtex-entry]

1. Mark d'Inverno, David Kinny, Michael Luck, and Michael Wooldridge. A Formal Specification of dMARS. In Proceedings of the Fourth International Workship on Agent Theories, Architectures, and Languages, ATAL'97 appears in Lecture Notes in Artificial Intelligence, volume 1365, pages 155--176, 1997.
   Keywords: model theory, procedural reasoning, agentlab, belief desires intentions, BDI. [bibtex-entry]

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.