Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011.
Rafael H. BordiniPublished in: DALT (2011)
Keyphrases
- extended abstract
- multi agent
- software engineering
- programming language
- multi agent systems
- intelligent agents
- multiagent systems
- multiple agents
- cooperative
- formal methods
- single agent
- autonomous agents
- agent oriented
- oriented programming
- cooperative agents
- artificial intelligence
- heterogeneous agents
- software development
- cognitive agents
- agent communication
- reinforcement learning
- software agents
- coalition formation
- computer technology
- software architecture
- software systems
- multi agent environments
- multi agent learning
- model checking
- software engineering practices
- sixth graders
- multi agent coordination
- object oriented
- multi agent architecture
- agent programming
- learning agents
- development process
- computer programming
- agent behavior
- agent interactions
- reinforcement learning agents
- rational agents
- agent cooperation
- software projects