| Date: | 2022, November 8 |
| Time: | 10:00 a. m. |
| Place: | G29-018 |
| Author: | Kranz, Tom |
| Title: | Induction Provers in Hets: Leveraging the Tons of Inductive Problems Language and Tools to Talk to more Automated Theorem Provers (Master Thesis Defense) |
This thesis documents the process of integrating the TIP format with Hets to simplify communication with ATPs capable of proving inductively. This integration is evaluated by first connecting the inductive ATP Zipperposition to Hets and then comparing the newly gained automatic induction capabilities with the pre-existing capabilities provided by SPASS and E.
Master Thesis Defense
Kommission:
Vorsitzender: Prof. Dr. Till Mossakowski
1. Gutachter: Prof. Dr. Till Mossakowski
2. Gutachter: Dipl.-Inf. Mario Frank, Universität Potsdam
Beisitzer: Dr. Fabian Neuhaus