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 2:00pm - 3:00pm 5 November 2018: Alan Bundy Automated Reasoning in the Age of the Internet IF 4.31/4.33 This article was published on Friday 22 November 2024
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 2:00pm - 3:00pm 5 November 2018: Alan Bundy Automated Reasoning in the Age of the Internet IF 4.31/4.33 This article was published on Friday 22 November 2024
Nov 05 2018 2:00pm - 3:00pm 5 November 2018: Alan Bundy Automated Reasoning in the Age of the Internet
