| Title: | Automated Theorem Proving using the TPTP Process Instruction Language |
| Authors: | Muhammad Nassar and Geoff Sutcliffe |
| Proceedings: | PAAR 2014 Proceedings |
| Editors: | Stephan Schulz, Leonardo De Moura and Boris Konev |
| Keywords: | Automated Theorem Proving, TPTP Process Instruction language, ATP process |
| Abstract: | The TPTP (Thousands of Problems for Theorem Provers) World is a well established infrastructure for Automated Theorem Proving (ATP). In the context of the TPTP World, the TPTP Process Instruction (TPI) language provides capabilities to input, output and organize logical formulae, and control the execution of ATP systems. This paper reviews the TPI language, describes a shell interpreter for the language, and demonstrates their use in theorem proving. |
| Pages: | 9 |
| Talk: | Jul 23 10:45 |
| Paper: |  |