Formal Semantics for AUML Agent Interaction Protocol Diagrams.
Lawrence CabacDaniel MoldtPublished in: AOSE (2004)
Keyphrases
- formal semantics
- agent interactions
- intelligent agents
- multi agent systems
- logical language
- logical reasoning
- modelling language
- multi agent
- software agents
- operational semantics
- modeling language
- formal language
- first order logic
- ontology languages
- theorem prover
- speech acts
- distributed learning
- software systems
- data mining