Five papers accepted at AAAI-19, 33rd Conference on Artificial Intelligence

by

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%.

Reporter

Heather Scott

Heather Scott
Department of Computing

Click to expand or contract

Contact details

Email: press.office@imperial.ac.uk
Show all stories by this author

Tags:

Education, Artificial-intelligence, 4IR, Public-engagement, Research, Big-data
See more tags