Five papers by members of the Department of Computing have been accepted at the 33rd AAAI Conference on Artificial Intelligence, AAAI-19.
The event will take place in Hawaii, USA, on 27 January-1 February 2019. The papers are:
- M. Akitunde, Kevorkian, A. Lomuscio, E. Pirovano: Verification of RNN-Based Neural Agent-Environment Systems
- F. Belardinelli, V. Malvone, A. Lomuscio: An Abstraction-based Method for Verifying Strategic Properties in Multi-agent Systems with Imperfect Information
- K. Cyras, D. Letsios, R. Misener, F. Toni: Argumentation for Explainable Scheduling
- M. Law, A. Russo, E. Bertino, K. Broda, J. Lobo: Representing and Learning Grammars in Answer Set Programming
- Y. Zhang, Q. Guo, L. Tran-Thanh, B. An and N. R Jennings: Optimal interdiction of urban criminals with the aid of real-time information
AAAI-19 had a record number of over 7,700 submissions, of which 7,095 were reviewed and just 1,150 accepted, yielding an acceptance rate of 16.2%.
Article text (excluding photos or graphics) © Imperial College London.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.