Multiagent Systems for Social Computation (challenge paper)

Smart Society’s M. Rovatsos has won second prize for best challenge and vision paper in AAMAS 2014! Abstract: This paper proposes social computation, i.e. large-scale man-machine collaboration mediated by digital interaction media, as a vision for future intelligent systems, and Continue reading

An Online Validator for Provenance: Algorithmic Design, Testing, and API

http://eprints.soton.ac.uk/361113/

Moreau, Luc, Huynh, Trung Dong and Michaelides, Danius (2014) An Online Validator for Provenance: Algorithmic Design, Testing, and API. In, 17th International Conference on Fundamental Approaches to Software Engineering (FASE’14), Springer-Verlag. Continue reading