Seven papers from the Department of Computing have been accepted at the 18th International Conference on Autonomous Agents and Multiagent Systems.
Seven papers by members of the Department of Computing have been accepted at the 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. The event will take place in Montreal, Canada, on May 13-17, 2019. The papers are:
- Aits, Carver and Turrini: Group Segregation in Social Networks (based on the MSc project by Aits in the academic year 2017-18)
- Belardinelli, Demri: Resource-bounded ATL: the Quest for Tractable Fragments
- Cocarascu, Rago, Toni: Extracting Dialogical Explanations for Review Aggregations with Argumentative Dialogical Agents
- Cyras, Oliveira: Resolving Conflicts in Clinical Guidelines using Argumentation
- Karamlou, Cyras, Toni: Complexity Results and Algorithms for Bipolar Argumentation (based on the MEng final project by Karamlou in the academic year 2017-18)
- Kouvaros, Lomuscio, Pirovano, Punchihewa: Formal Verification of Open Multi-Agent Systems
- Lomuscio, Pirovano: A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems
In addition, three papers by members of the Department were accepted as extended abstracts. These papers are:
- Belardinelli, Boureanu, Dima, Malvone: Verifying Strategic Abilities in Multi-agent Systems with Private Data-Sharing
- Belardinelli, Grandi: A Social Choice Perspective on Database Aggregation
- Bi, Stein, Gerding, Jennings, La Porta: A Truthful Online Mechanism for Allocating Fog Computing Resources
AAMAS 2019 received 781 submissions, of which 189 were selected as full papers for oral presentation and 218 as extended abstracts.
Article text (excluding photos or graphics) © Imperial College London.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.
Department of Electrical and Electronic Engineering