Formal Modelling of a Coordination System: From Practice to Theory, and Back Again.
Eloy J. MataPedro ÁlvarezJosé A. BañaresJulio RubioPublished in: ESAW (2006)
Keyphrases
- mathematical foundations
- theoretical framework
- mathematical theory
- formal models
- formal model
- theoretical frameworks
- theoretical basis
- cooperative
- computational model
- theoretical insights
- formal methods
- information systems
- information retrieval
- multiagent systems
- multi agent
- case study
- general theory
- causal reasoning
- machine learning
- formal theory
- neural network
- database