=Paper=
{{Paper
|id=Vol-2056/preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2056/preface.pdf
|volume=Vol-2056
}}
==None==
Preface to the Proceedings of the Demonstrations Track of PRIMA 2017 This volume collects the contributions presented at the Demonstrations Track of PRIMA 2017, the 20th International Conference on Principles and Practice of Multi-Agent Systems held in Nice, France, from November 1st to 3rd 2017. The Demonstrations Track took place on November 1st and complemented the Research Paper track of the conference, offering an opportunity to researchers for presenting late-breaking research results, on-going research projects, and speculative or innovative work in progress. The informal setting of the Demon- strations Track, co-located with the Posters Session, encouraged presenters and participants to engage in discussions about their work. Such discussions provided precious inputs for the future work of the presenters, while offering participants an effective way to broaden their knowledge of the emerging research trends and to network with other researchers. The PRIMA 2017 Demonstrations Track received 4 submissions, all accepted for presentation after a peer-review evaluation. The accepted papers dealt with different topics, making the session lively and interesting. In the demonstration of their work “A Generic Multi-Agent Framework for Medical-Image Segmentation”, Mohamed T. Bennai, Zahia Guessoum, Smaine Mazouzi, Stéphane Cormier, and Mohamed Mezghiche showed how to exploit au- tonomous and interactive agents that use a modified region growing algorithm and cooperate to segment medical images. The proposed algorithm is general, as it can be applied to differen kinds of images, and requires limited human intervention. This is an advantage w.r.t. many existing solutions developed for one type of images only and requiring many inputs from the user. Angelo Ferrando demonstrated the usage of “RIVERtools: an IDE for Run- tIme VERification of MASs, and Beyond”, as the paper title explains. RIVER- tools supports the use of the “trace expressions” formalism by users that want to perform runtime verification of their own system. More in details, it supports the automatic generation of code to be used to implement the blackbox runtime verification engine of a generic software systems, and focuses in particular on challenging scenarios where the target system is a MAS. A data-driven agent-based simulation of individual mobility based on spatio- temporal data from mobile phones was presented by Arnaud Grignard, Luis Alonso, Núria Macià, Marc Vilella, and Kent Larson in their paper “CityScope Andorra Data Observatory: A Case Study on Tourism Patterns”. The work ana- lyzes the visitors’ flow and traffic congestion of Andorra through an agent-based visualization using different representation and abstraction features. Finally, Bas Testerink and Floris Bex presented a practical approach for “De- veloping Argumentation Dialogues for Open Multi-Agent Systems”, as stated by the title of their paper. They started from the obstervation that, despite the large amount of research into the formal aspects of dialogue games for argumentation, actual software and development tools that allow for the deployment of open, multi-agent dialogue environments are still lacking. To fill this gap, they pre- sented the first steps towards a such an environment, where agents can engage in peer-to-peer argumentation dialogues. November 2nd, 2017 Viviana Mascardi PRIMA 2017 Demonstrations Track Organization Viviana Mascardi, University of Genova PRIMA 2017 Demonstrations Track Program Committee Jamal Bentahar, Concordia University (CA) Rafael H. Bordini, PUCRS (BR) Daniela Briola, University of Milano Bicocca (IT) Mehdi Dastani, Utrecht University (NL) Louise Dennis, University of Liverpool (UK) Nirmit Desai, IBM T J Watson Research Center Amal El Fallah Seghrouchni, LIP6 - University of Pierre and Marie Curie (FR) James Harland, RMIT University (AU) Hiromitsu Hattori, Ritsumeikan University (JP) Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS) (BR) Alexander Pokhar, Helmut-Schmidt-University/Bundeswehr University (DE) Enrico Pontelli, New Mexico State University (US) David Pynadath, University of Southern California (US) Alessandro Ricci, University of Bologna (IT) Yuqing Tang, Microsoft Giuseppe Vizzari, University of Milano Bicocca (IT)