xTAO: enabling a declarative approach to the specification of multi-agent systems.
Toacy C. OliveiraPaulo S. C. AlencarDon CowanCarlos LucenaPublished in: SELMAS (2005)
Keyphrases
- multi agent systems
- high level
- attribute grammars
- autonomous agents
- agent systems
- agent architecture
- cooperative
- agent technology
- multi agent
- intelligent agents
- knowledge representation
- formal verification
- formal specification
- agent platform
- computational logic
- cognitive agents
- agent oriented
- specification language
- coalition formation
- game theory
- user defined
- single agent
- distributed problem solving
- provably correct
- software agents
- declarative language
- complex systems