A grounded specification language for agent programs.
Mehdi DastaniM. Birna van RiemsdijkJohn-Jules Ch. MeyerPublished in: AAMAS (2007)
Keyphrases
- specification language
- symbolic execution
- formal specification
- programming language
- description language
- agent programming
- multiagent systems
- intelligent agents
- multi agent
- software environment
- multi agent systems
- autonomous agents
- agent systems
- dynamic logic
- software agents
- computer programs
- dynamic environments
- requirements specification
- agent model
- mobile agents
- general purpose
- database systems
- software architecture
- multiple agents
- business processes
- object oriented
- reinforcement learning
- high level