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
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Model checking
Debugging agent interactions: a case study
Proceedings of the 2001 ACM symposium on Applied computing
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Representing and executing protocols as joint actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Simplifying the Development of Intelligent Agents
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Extending the UML for Designing Jack Agents
ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
A Study on the Current State of the Art in Tool-Supported UML-Based Static Reverse Engineering
WCRE '02 Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE'02)
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '04 International Symposium on Software Testing and Analysis 2004
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Annals of Mathematics and Artificial Intelligence
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
A Pragmatic Approach to Build Conversation Protocols Using Social Commitments
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Programming multi-agent systems
The Knowledge Engineering Review
Environments for Multi-Agent Systems II: Second International Workshop, E4MAS 2005, Utrecht, The Netherlands, July 25, 2005, Selected Revised and Invited ... / Lecture Notes in Artificial Intelligence)
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Practical extensions in agent programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Agent architectures for flexible, practical teamwork
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Beliefs in agent implementation
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Debugging agent behavior in an implemented agent system
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Coordination artifacts as first-class abstractions for MAS engineering: state of the research
Software Engineering for Multi-Agent Systems IV
Hermes: designing goal-oriented agent interactions
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Traceability and completeness checking for agent-oriented systems
Proceedings of the 2008 ACM symposium on Applied computing
A domain specific modeling language for multiagent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Software Engineering for Service-Oriented MAS
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Towards an Evaluation Framework for MAS Software Engineering
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Prometheus and INGENIAS Agent Methodologies: A Complementary Approach
Agent-Oriented Software Engineering IX
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
Agent-Oriented Software Engineering IX
Agent-Based Modeling of a Mobile Robot to Detect and Follow Humans
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Modeling TeleTruck: A Case Study
Engineering Societies in the Agents World IX
Towards Providing Social Knowledge by Event Tracing in Multiagent Systems
HAIS '09 Proceedings of the 4th International Conference on Hybrid Artificial Intelligence Systems
Integrating Model Transformation in Agent-Oriented Software Engineering
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Analysis, Comparison and Selection of MAS Software Engineering Processes and Tools
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Agent-oriented modeling and development of a person-following mobile robot
Expert Systems with Applications: An International Journal
Evaluating software engineering techniques for developing complex systems with multiagent approaches
Information and Software Technology
TRAMMAS: A tracing model for multiagent systems
Engineering Applications of Artificial Intelligence
Model-driven engineering techniques for the development of multi-agent systems
Engineering Applications of Artificial Intelligence
OrgMAP: an organization-based approach for multi-agent programming
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Organization-based agent-oriented programming: model, mechanisms, and language
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi-agent systems?" and "what should we, as a research community, be paying particular attention to, over the next few years?". Based on our characterisation of the current state-of-the-art in developing MAS, we identify three key areas for future work: techniques for integrating design and code; extending agent-oriented programming languages to cover certain aspects that are currently weak or missing (e.g., social concepts, and modelling the environment); and development of debugging and verification techniques, with a particular focus on using model checking also in testing and debugging, and applying model checking to design artefacts.