AgentZ: Extending Object-Z for Multi-agent Systems Specification.
Anarosa BrandãoPaulo S. C. AlencarCarlos José Pereira de LucenaPublished in: AOIS (2004)
Keyphrases
- multi agent systems
- complex objects
- d objects
- database
- multiple objects
- data sets
- distributed problem solving
- deformable objects
- object models
- target object
- object model
- cooperative
- image sequences
- high level
- e learning
- game theory
- data objects
- programming language
- moving objects
- agent technology
- coalition formation
- neural network