A Formal Architecture for the 3APL Agent Programming Language
A Formal Architecture for the 3APL Agent Programming Language
168-187
d'Inverno, M.
e38be367-6bc1-4172-9a1b-d2331e002ff2
Hindriks, K.
b2bf3b10-3b1f-463b-a3dc-3e82cbcd0bf5
Luck, M.
da93d46d-96db-4ed6-b54a-bfa53b406af3
Bowen, J. P.
74faa154-874a-48a6-9059-758596d6b312
Dunne, S.
97c5862e-599e-43d9-ae45-ea89333a8aff
Galloway, A.
7ede94d4-26f9-4820-93bc-c85403e44794
King, S.
05b3ed86-3989-4053-8675-cfc682fa53fe
2000
d'Inverno, M.
e38be367-6bc1-4172-9a1b-d2331e002ff2
Hindriks, K.
b2bf3b10-3b1f-463b-a3dc-3e82cbcd0bf5
Luck, M.
da93d46d-96db-4ed6-b54a-bfa53b406af3
Bowen, J. P.
74faa154-874a-48a6-9059-758596d6b312
Dunne, S.
97c5862e-599e-43d9-ae45-ea89333a8aff
Galloway, A.
7ede94d4-26f9-4820-93bc-c85403e44794
King, S.
05b3ed86-3989-4053-8675-cfc682fa53fe
d'Inverno, M., Hindriks, K. and Luck, M.
(2000)
A Formal Architecture for the 3APL Agent Programming Language.
Bowen, J. P., Dunne, S., Galloway, A. and King, S.
(eds.)
ZB2000: Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, LNCS 1878.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 2000
Venue - Dates:
ZB2000: Formal Specification and Development in Z and B - 1st International Conference of B and Z Users, LNCS 1878, 2000-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 253891
URI: http://eprints.soton.ac.uk/id/eprint/253891
PURE UUID: a3ba2020-7b6e-407c-acc0-5c8f9d1a9d67
Catalogue record
Date deposited: 07 Sep 2000
Last modified: 07 Jan 2022 23:55
Export record
Contributors
Author:
M. d'Inverno
Author:
K. Hindriks
Author:
M. Luck
Editor:
J. P. Bowen
Editor:
S. Dunne
Editor:
A. Galloway
Editor:
S. King
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.
View more statistics