LUCID, the dataflow programming language
LUCID, the dataflow programming language
Contexts: a formalization and some applications
Contexts: a formalization and some applications
KQML as an agent communication language
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Agent Communication Languages: The Current Landscape
IEEE Intelligent Systems
DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The semantics of MALLET–An agent teamwork encoding language
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Trust transferability among similar contexts
Proceedings of the 4th ACM symposium on QoS and security for wireless and mobile networks
Contextual Extension with Concept Maps in the Argument Interchange Format
Argumentation in Multi-Agent Systems
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems
Service-Oriented Computing --- ICSOC 2008 Workshops
An intensional programming approach to multi-agent coordination in a distributed network of agents
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Real time reactive programming in lucid enriched with contexts
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
An architecture for developing context-aware systems
MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context
| Hi-index | 0.00 |
This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expressions in extended Lucid. It is shown that the extended Lucid language, called Agent Intensional Programming Language(AIPL), has the generality and the expressiveness for being an Agent Communication Language(ACL).