5 November 2018: Alan Bundy

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]  

Nov 05 2018 -

5 November 2018: Alan Bundy

Automated Reasoning in the Age of the Internet

IF 4.31/4.33