System Description: SystemOnTPTP
Sutcliffe, Geoff (2000) System Description: SystemOnTPTP. In: Proceedings of the 17th International Conference on Automated Deduction (1831) pp. 406-410. From: Automated Deduction - CADE 17, 17 - 20 July 2000, Pittsburgh, Pennsylvania, USA.
![[img]](https://researchonline.jcu.edu.au/style/images/fileicons/application_pdf.png) |
PDF (Published Version)
- Published Version
Restricted to Repository staff only |
Abstract
SystemOnTPTP is a WWW interface that allows an ATP problem to be easily and quickly submitted in various ways to a range of ATP systems. The interface uses a suite of currently available ATP systems. The interface allows the problem to be selected from the TPTP library or for a problem written in TPTP syntax to be provided by the user. The problem may be submitted to one or more of the ATP systems in sequence, or may be submitted via the SSCPA interface to multiple systems in parallel. SystemOnTPTP also can provide system recommendations for a problem.
| Item ID: | 14526 |
|---|---|
| Item Type: | Conference Item (Research - E1) |
| ISBN: | 978-3-540-67664-5 |
| Date Deposited: | 29 Sep 2017 01:09 |
| FoR Codes: | 08 INFORMATION AND COMPUTING SCIENCES > 0806 Information Systems > 080608 Information Systems Development Methodologies @ 100% |
| SEO Codes: | 89 INFORMATION AND COMMUNICATION SERVICES > 8999 Other Information and Communication Services > 899999 Information and Communication Services not elsewhere classified @ 100% |
| Downloads: |
Total: 1 |
| More Statistics |
Actions (Repository Staff Only)
 |
Item Control Page |