Artificial Intelligence
A calculus of mobile processes, II
Information and Computation
APRIL—Agent PRocess Interaction Language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Design of a concurrent agent-oriented language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
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
Software agents
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Controlling interference in ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Autonomous Agents and Multi-Agent Systems
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
IEEE Concurrency
Modelling Multi-agent Reactive Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
MASIF: The OMG Mobile Agent System Interoperability Facility
MA '98 Proceedings of the Second International Workshop on Mobile Agents
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
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Using Mobile Agents for Resource Sharing
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Web-MASI: Multi-Agent Systems Interoperability Using a Web Services Based Approach
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Design and semantics of quantum: a language to control resource consumption in distributed computing
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
An unified framework for programming autonomous, intelligent and mobile agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on 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
A general framework for parallel BDI agents in dynamic environments
Web Intelligence and Agent Systems
A unified framework for multiple criteria auction mechanisms
Web Intelligence and Agent Systems
eCLAIM: an eclipse plug-in for mobile MAS applications
Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Ao dai: agent oriented design for ambient intelligence
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
A Context-Aware Multi-Agent System as a Middleware for Ambient Intelligence
Mobile Networks and Applications
| Hi-index | 0.00 |
This paper presents the operational semantics of an agent-oriented programming language called CLAIM. CLAIM allows to design multi-agent systems that support both stationary and mobile agents, endowed with cognitive capabilities and able to communicate. The semantics takes into account agents' reasoning, mobility, communication and concurrence, and contains a set of reduction rules between coherent states of a program. The operational semantics is a first step towards the formal verification of agent-based programs written in CLAIM. The reduction rules are illustrated on a case study.