Skip to main content
SpringerLink
Log in

System Description: SystemOnTPTP

  • Conference paper
Automated Deduction - CADE-17 (CADE 2000)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1831))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Suttner, C.B., Schumann, J.: Parallel Automated Theorem Proving. In: Kanal, L., Kumar, V., Kitano, H., Suttner, C. (eds.) Parallel Processing for Artificial Intelligence, vol. 1, pp. 209–257. Elsevier Science, Amsterdam (1994)

    Google Scholar 

  2. Sutcliffe, G., Suttner, C.B.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning 21(2), 177–203 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  3. Sutcliffe, G., Seyfang, D.: Smart Selective Competition Parallelism ATP. In: Kumar, A., Russell, I. (eds.) Proceedings of the 12th Florida Artificial Intelligence Research Symposium, (Orlando, USA), pp. 341–345. AAAI Press, Menlo Park (1999)

    Google Scholar 

  4. Sutcliffe, G.: The CADE-16 ATP System Competition. Journal of Automated Reasoning (to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology, James Cook University, Townsville, Australia

    Geoff Sutcliffe

Authors
  1. Geoff Sutcliffe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Toyota Technological Institute at Chicago, 1427 E. 60th Street, 60637, Chicago, Illinois

    David McAllester

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sutcliffe, G. (2000). System Description: SystemOnTPTP . In: McAllester, D. (eds) Automated Deduction - CADE-17. CADE 2000. Lecture Notes in Computer Science(), vol 1831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10721959_31

Download citation

  • DOI: https://doi.org/10.1007/10721959_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67664-5

  • Online ISBN: 978-3-540-45101-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation