Seven papers from Department of Computing accepted at AAMAS 2019

by

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.

Reporter

Dylan Auty

Dylan Auty
Department of Electrical and Electronic Engineering

Tags:

Artificial-intelligence, Research
See more tags