| Alan Bundy |
| Mon 05 Nov 2018, 14:00 - 15:00 |
| IF 4.31/4.33 |
If you have a question about this talk, please contact: Gareth Beedham (gbeedham)
Title: Automated Reasoning in the Age of the Internet
Abstract: The internet hosts a vast store of information that we cannot and should not ignore. It’s not enough just to retrieve facts. To make full use of the internet we must also infer new information from old. This is an
exciting new opportunity for automated reasoning, but it also presents new kinds of research challenge. We will report on the FRANK system that explores this new research direction. [This is joint work with Kobby Nuamah and Chris Lucas]