Course: Working with Automated Reasoning Tools

In the first week of September I attended a very interesting lecture entitled “Working with Automated Reasoning Tools”, given by Christoph Benzmueller (Saarland University) and Geoff Sutcliffe (University of Miami). The two most important highlights were the LEO-II automatic higher-order theorem prover and the TPTP theorem proving infrastructure (including the comprehensive TPTP problem and solution libraries, the TPTP syntax for first-order and higher-order logic, and the hordes of automatic theorem provers and many TPTP tools that can be called from any web browser using System-on-TPTP).

All the course materials are available online.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: