xTAO: enabling a declarative approach to the specification of multi-agent systems.
Toacy Cavalcante de OliveiraPaulo S. C. AlencarDonald D. CowanCarlos José Pereira de LucenaPublished in: ACM SIGSOFT Softw. Eng. Notes (2005)
Keyphrases
- multi agent systems
- high level
- cooperative
- attribute grammars
- multi agent
- autonomous agents
- formal specification
- intelligent agents
- specification language
- game theory
- knowledge representation
- agent architecture
- declarative language
- formal verification
- business rules
- artificial intelligence
- multi agent reinforcement learning
- coalition formation
- domain independent
- multiagent systems
- software agents
- distributed problem solving
- complex systems
- contract net protocol
- software engineering
- relational databases