d'Inverno, M., Kinny, D., Luck, M. and Wooldridge, M. (1998) A Formal Specification of dMARS. Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages. 155--176 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1998
Venue - Dates:
Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, 1998-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253845
URI: http://eprints.soton.ac.uk/id/eprint/253845
PURE UUID: de416514-2951-4d8e-8f8b-0d2664166cdc
Catalogue record
Date deposited: 07 Sep 2000
Last modified: 08 Jan 2022 02:39
Export record
Contributors
Author:
M. d'Inverno
Author:
D. Kinny
Author:
M. Luck
Author:
M. Wooldridge
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.