AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Automated Derivation of Complex Agent Architectures from Analysis Specifications
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Complete and Decidable Logic for Resource-Bounded Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards Goal-Oriented Design of Agent Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Implementing validated agents behaviours with automata based on goal decomposition trees
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Specifying and verifying holonic agents with GDT4MAS
International Journal of Agent-Oriented Software Engineering
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
This paper deals with the design of multi-agent systems. We demonstrate the goal-oriented agent model called Goal Decomposition Tree on an already studied multi-agent example, that of robots which must clean pieces of garbage on Mars. As we show, the model allows to prove that the agents' behaviour indeed achieves their goal. We then compare our approach to other ones.