ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
MOISE+: towards a structural, functional, and deontic model for MAS organization
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Introduction to Multiagent Systems
Introduction to Multiagent Systems
Autonomous Agents and Multi-Agent Systems
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Foundations of organizational structures in multiagent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Give agents their artifacts: the A&A approach for engineering working environments in MAS
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A Verification Framework for Normative Multi-Agent Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The KGP model of agency for global computing: computational model and prototype implementation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Using the KGP model of agency to design applications
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
Multi-agent systems consist of a number of interacting autonomous agents, each of which is capable of sensing its environment (including other agents) and deciding to act in order to achieve its own objectives. In order to guarantee the overall design objectives of multi-agent systems, the behavior of individual agents and their interactions need to be regulated and coordinated [23,29,30]. The development of multi-agent systems therefore requires programming languages that facilitate the implementation of individual agents as well as mechanisms that control and regulate individual agents' behaviors. It also requires computational tools to test and verify programs that implement multi-agent systems [7].