A transition system semantics for the control-driven coordination language MANIFOLD.
Marcello M. BonsangueFarhad ArbabJ. W. de BakkerJan J. M. M. RuttenA. SecutellaGianluigi ZavattaroPublished in: Theor. Comput. Sci. (2000)
Keyphrases
- logical language
- specification language
- logic programming language
- operational semantics
- highly expressive
- agent communication
- control system
- definition language
- intended meaning
- programming language
- language learning
- dynamic logic
- speech acts
- conceptual graphs
- uml class diagrams
- formal language
- multi agent systems
- multi agent
- sensory motor
- formal semantics
- owl ontologies
- conditional logic
- formal languages
- logic programming
- distributed control
- adjustable autonomy
- control structures
- aggregate functions
- manifold learning
- information sharing
- relational databases
- high dimensional
- natural language