Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols.
Nabil HameurlainPublished in: CEEMAS (2001)
Keyphrases
- formal semantics
- interaction protocols
- multiagent systems
- operational semantics
- multi agent
- multi agent systems
- databases
- agent systems
- agent architecture
- mobile agents
- modeling language
- expert systems
- logical reasoning
- intelligent agents
- dynamic environments
- agent model
- model driven
- multiple agents
- software engineering
- speech acts
- e learning
- agent communication
- modelling language
- logical language
- database