Five papers by members of the Department of Computing have been accepted at the 27th International Joint Conference on Artificial Intelligence.

The papers have been accepted to the event in Stockholm on 13-19 July, which this year is held jointly with the 23rd European Conference on Artificial Intelligence, the leading AI conference in Europe.

The papers from the Department of Computing are:

F. Belardinelli, A. Lomuscio, N. Murano, S. Rubin. 'Alternating-time Temporal Logic on Finite Traces'

P. Kouvaros, A. Lomuscio, E. Pirovano. 'Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems'

A. Lomuscio, E. Pirovano. 'Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems'

E. Manino, L. Tran-Thanh and N. R. Jennings. 'On the efficiency of data collection for crowd sourced classification'

A. Rago, O. Cocarascu, F. Toni. 'Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them'

The main technical track for IJCAI-ECAI received 3470 submissions, with only 710 papers accepted.

Visit the conference website for more information.