A Formal Architecture for the 3APL Agent Programming Language.

Mark d'Inverno Koen V. Hindriks Michael Luck

Published in: ZB (2000)

Keyphrases

formal model
management system
network architecture
software architecture
neural network
design methodology
data flow
layered architecture
real time
formal methods
reference model
user interface
search algorithm
website
image processing
information systems
databases