System on TPTP is an online interface to several automated theorem proving systems and other automated reasoning tools. It allows users to run the systems either on problems from the latest releases from the TPTP problem library or on user-supplied problems in the TPTP syntax.
The system is maintained by Geoff Sutcliffe at the University of Miami. In November 2010, it featured more than 50 systems, including both theorem provers and model finders.[1] System on TPTP can either run user-selected systems, or pick systems automatically based on problem features, and run them in parallel.[2]
Referencesedit
^Sutcliffe, Geoff. "System on TPTP". Retrieved 4 November 2010.
^Sutcliffe, Geoff; D. Seyfang (1999). "Smart selective competition parallelism ATP". Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference: 341–345.
This computer science article is a stub. You can help Wikipedia by expanding it.
system, tptp, online, interface, several, automated, theorem, proving, systems, other, automated, reasoning, tools, allows, users, systems, either, problems, from, latest, releases, from, tptp, problem, library, user, supplied, problems, tptp, syntax, system, . System on TPTP is an online interface to several automated theorem proving systems and other automated reasoning tools It allows users to run the systems either on problems from the latest releases from the TPTP problem library or on user supplied problems in the TPTP syntax The system is maintained by Geoff Sutcliffe at the University of Miami In November 2010 it featured more than 50 systems including both theorem provers and model finders 1 System on TPTP can either run user selected systems or pick systems automatically based on problem features and run them in parallel 2 References edit Sutcliffe Geoff System on TPTP Retrieved 4 November 2010 Sutcliffe Geoff D Seyfang 1999 Smart selective competition parallelism ATP Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference 341 345 nbsp This computer science article is a stub You can help Wikipedia by expanding it vte Retrieved from https en wikipedia org w index php title System on TPTP amp oldid 917799115, wikipedia, wiki, book, books, library,
