Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences

Brandt, S. and Güzel Kalaycı, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) Querying log data with Metric Temporal Logic. Artificial Intelligence Research 62 , pp. 829-877. ISSN 1927-6974.