Artificial Intelligence
Design of a concurrent agent-oriented language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Autonomous Agents and Multi-Agent Systems
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Mobile Multi-Agent Systems: A Programming Language and Its Semantics
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Adaptive mobile multi-agent systems
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
A layered semantics for mobile computation
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A mobile agents platform: architecture, mobility and security elements
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Temporal planning in dynamic environments for P-CLAIM agents
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Hi-index | 0.00 |
This paper proposes an unified framework for programming autonomous intelligent and mobile agents. This framework is composed of a language called CLAIM (Computational Language for Autonomous, Intelligent and Mobile Agents) that allows to design Multi-Agent Systems and amulti-platforms ystem(SyM PA) compliant with the standard MASIF (OMG specifications). CLAIM agents are endowed with cognitive capabilities (e.g. reasonning, planning, etc.), are able to communicate with other agents and are mobile (the agents can be distributed over several platforms and can move from one to another). The mobility primitives are inspired from the ambient calculus. This paper presents the main features of CLAIM, resumes the most significant aspects of SyMPA, highlights CLAIM's expressiveness and discusses mobility completeness.