Handbook of theoretical computer science (vol. B)
Representing and executing agent-based systems
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
Remote Agent: to boldly go where no AI system has gone before
Artificial Intelligence - Special issue: artificial intelligence 40 years later
An XML framework for agent-based E-commerce
Communications of the ACM
Local models semantics, or contextual reasoning = locality + compatibility
Artificial Intelligence
The abc of rational agent modelling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
IEEE Internet Computing
Self-Organizing Manufacturing Control: An Industrial Application of Agent Technology
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Programming resource-bounded deliberative agents
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for Multi-Agent Systems
Declarative abstractions for agent based hybrid control systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
JADL – an agent description language for smart agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Implementing temporal logics: tools for execution and proof
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |
In this paper, we consider the problem of effectively programming groups of agents. These groups should capture structuring mechanisms common in multi-agent systems, such as teams, cooperative groups, and organisations. Not only should individual agents be dynamic and evolving, but the groups in which the agents occur must be open, flexible and capable of similar evolution and restructuring. We enable the description and implementation of such groups by providing an extension to our previous work on programming languages for agent-based systems based on executable temporal and modal logics. With such formalism as a basis, we consider the grouping aspects within multi-agent systems. In particular, we describe how this logic-based approach to grouping has been implemented in Java and consider how this language can be used for developing multi-agent systems.