"the tptp world – infrastructure for automated reasoning"
Presenter: Geoff Sutcliffe, Professor and Chair, Department of Computer Science, University of Miami
Abstract: "The TPTP World is a well known and established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems for classical logics. The data, standards, and services provided by the TPTP World have made it increasingly easy to build, test, and apply ATP technology.
This talk reviews the core features of the TPTP World, describes key service components of the TPTP World, presents some successful applications, and gives an overview of the most recent developments."
Bio: Geoff Sutcliffe is a Professor and the Chair of the Department of Computer Science at the University of Miami. He received a BSc(Hons) and MSc from the University of Natal in South Africa, and a PhD in Computer Science from the University of Western Australia. His research is in the area of Automated Reasoning, particularly the development and ongoing maintenance of the TPTP problem library, and organizing the CADE ATP System Competition - the world championship for classical logic automated reasoning systems.
ai seminar series
Fridays at noon, Amii and the Department of Computing Science host AI Seminars, engaging presentations on topics in the broad field of artificial intelligence. With speakers from the University of Alberta and other world-leading groups, the talks give AI enthusiasts a friendly way of engaging with the latest trends and topics in research and development.
Seminars are open to the public, and no registration is required, though seating is limited and on a first-come-first-served basis. Topics range from foundational theoretical work to innovative applications of artificial intelligence technologies.
If you would like to present at an upcoming AI Seminar, please contact Colin Bellinger.
Join the AI Seminar mailing list to stay up-to-date on all the latest presentations.