Previous Seminars

List of previous seminars

19 March 2018: Imogen Morris

A Mechanization in Isabelle of Birkhoff's Ruler and Protractor Geometry, following Brossard

5 March 2018: Juliana Bowles

Combining Formal Methods in Healthcare

19 February 2018: Danai Korre

Embodied conversational agents and serious games: A review

5 February 2018: Stefano Albrecht

Multiagent Learning: Foundations and Recent Trends (IJCAI'17 Tutorial)

22 January 2018: Xue Li

Evolving Logical Theories by Combining Reformation and Belief Revision

12 December 2017: Lourdes Verdes-Montenegro and Rafael Garrido Haba

SKA-Link project: reproducible science and new metrics in the era of mega-science infrastructures

11 December 2017: Caroline Jay

Investigating interaction with information

29 November 2017: Frank van Harmelen

The Empirical turn in Knowledge Representation

27 November 2017: Petros Papapanagiotou

Artificial Intelligence to support Human-Machine Collaboration: Ideas and Directions

13 November 2017: Joe Corneli

The Hall-Presenti report and current AI policy

30 October 2017: Areti Manataki

Studying Electronic Health Record Workflows with the Use of Process Mining and Observational Techniques

16 October 2017: Subhashis Das

Safe Haven in a Box
- Knowledge Integration Demo

9 October 2017: Yaqing Jiang

Machine learning for inductive theorem proving.

18 September 2017: Felipe Rech Meneguzzi

Plan Recognition in the Real World

16 August 2017: Kobby Nuamah, 3rd Year Review

In this talk, I'll discuss our approach to query answering that goes beyond the traditional information retrieval techniques, to one where we make functional inferences using data retrieved at run-time from knowledge bases (both local and remote).