Operational Semantics for Agents by Iterated Refinement.
Federico BergentiGiovanni RimassaMirko ViroliPublished in: DALT (2003)
Keyphrases
- operational semantics
- agent programming
- multi agent systems
- multi agent
- formal semantics
- multiagent systems
- multiple agents
- agent communication language
- cooperative
- speech acts
- autonomous agents
- agent architecture
- mental states
- mobile agents
- data model
- software agents
- model theoretic
- agent model
- agent systems
- game theoretic
- natural language processing
- intelligent agents
- resource allocation
- decision theoretic
- dynamic environments
- agent technology
- petri net
- programming language
- life cycle
- dynamic logic
- relational databases