![](bg8.png)
ACKNOWLEDGEMENTS
This work has been partially supported by FAPESP
and CNPq.
REFERENCES
Bai, X., Klein, E., and Robertson, D. (2012). Choreograph-
ing web services with semantically enhanced script-
ing, pages 583–587. Web Intelligence and Intelligent
Agent Technology.
Christoff, Z. and Hansen, J. U. (2013). A two-tiered formal-
ization of social influence. In Logic, Rationality, and
Interaction, volume 8196 of Lecture Notes in Com-
puter Science – Springer LNCS 8196, pages 68–81.
Correa da Silva, F. S. (2011). Knowledge-based interac-
tion protocols for intelligent interactive environments.
Knowledge and Information Systems, 30:1–24.
Correa da Silva, F. S., Fernandez Venero, M. L., David,
D. M., Saleem, M., and Chung, P. W. H. (2012). Inter-
action protocols for cross-organisational workflows.
Knowledge Based Systems, 37:1–16.
Correa da Silva, F. S., Robertson, D., and Vasconcelos, W.
(2013). Experimental interaction science. Artificial
Intelligence and Simulation of Behaviour - Annual
Convention 2013: Workshop on Social Coordination
– Principles, Artifacts and Theories.
David, D. M. (2012). Protocolos de interacao baseados em
conhecimento : implementacao da plataforma Jam-
Session (in Portuguese). MSc dissertation, University
of Sao Paulo, Brazil, Brazil.
EU, E. C. (2012). Guide to Research and Innovation Strate-
gies for Smart Specialisation. European Union, Brus-
sels.
EU, E. C. (2013). The role of clusters in smart specialisa-
tion strategies. European Union, Brussels.
Feldman, M. P. and Audretsch, D. B. (1999). Innovation
in cities: science-based diversity, specialization and
localized competition. European Economic Review,
43:409–429.
Fernandez Venero, M. L. and Correa da Silva, F. S. (2013a).
Modelling and simulating interaction protocols using
Nested Petri Nets. Workshop on Formal Methods in
the Development of Software.
Fernandez Venero, M. L. and Correa da Silva, F. S. (2013b).
On the use of SPIN for studying the behavior of nested
Petri nets. 16th Brazilian Symposium on Formal
Methods.
Gelernter, D. (1985). Generative communication in linda.
ACM Transactions on Programming Languages and
Systems, 7:80–112.
Giunchiglia, F. and Robertson, D. S. (2010). The social
computer - combining machine and human computa-
tion. University of Trento Technical Report, DISI-10-
036.
Hansen, J. U. (2014). Reasoning about opinion dynamics in
social networks. In Proceedings of the eleventh con-
ference on logic and the foundations of game and de-
cision theory (LOFT 11).
Jackson, M. O. (2008). Social and Economic Networks.
Princeton University Press, USA.
Jiang, S., Fiore, G. A., Yang, Y., Ferreira Jr, J., E., F., and
Gonzalez, M. C. (2013). A review of urban computing
for mobile phone traces: current methods, challenges
and opportunities. In Urban Computing 2013.
Komninos, N. (2006). The architecture of intelligent cities:
integrating human, collective, and artificial intelli-
gence to enhance knowledge and innovation. In In-
telligent Environments 2006.
Lazzarini, S. G., Haddad, F. R., and Cook, M. (2001). Inte-
grating supply chain and network analyses: the study
of netchains. Journal of Chain and Network Science,
1(1):7–22.
Mesquita, L. M. and Lazzarini, S. G. (2007). Horizontal and
vertical relationships in developing economies: impli-
cations for smes access to global markets. Academy
of Management Journal, 51(2):359–380.
Murray-Rust, D. and Robertson, D. (2014). LSCitter: build-
ing social machines by augmenting existing social net-
works with interaction models. International World
Wide Web Conference Committee.
Pedrozo, E. A. and Pereira, B. A. D. (2006). Empreende-
dorismo coletivo e possivel? uma analise do pro-
cesso de constituicao de relacionamentos cooperativos
em rede. Revista de Administracao (in Portuguese),
12(4).
Robertson, D. (2004). Multi-agent coordination as dis-
tributed logic programming, pages 416–430. Proceed-
ings 20th International Conference on Logic Program-
ming – Springer LNCS 3132.
Schaffers, H., Komninos, N., Pallot, M., Trousse, B., Nils-
son, M., and Oliveira, A. (2011). Smart cities and the
future internet: towards cooperation frameworks for
open innovation, pages 431–446. Future Internet As-
sembly – Springer LNCS 6656.
Seligman, J., Liu, F., and Girard, P. (2011). Logic in the
Community, pages 178–188. Logic and Its Applica-
tions – Springer LNCS 6521.
Sindhu, J., Perreau De Pinninck, A., Robertson, D., Sierra,
C., and Walton, C. (2006). Interaction model lan-
guage definition. Open Knowledge Project – technical
reports, UK.
Zhen, L. and Seligman, J. (2011). A logical model of the
dynamics of peer pressure. Electronic Notes in The-
oretical Computer Science, 278:275–288. Proceed-
ings of the 7th Workshop on Methods for Modalities
(M4M2011) and the 4th Workshop on Logical As-
pects of Multi-Agent Systems (LAMAS2011).
Zheng, Y., Liu, Y., Yuan, J., and Xie, X. (2011). Urban
computing with taxicabs. In UbiComp 2011.
LS2C-APlatformtoDesign,ImplementandExecuteSocialComputations
203