Skip to search formSkip to main contentSkip to account menu

Test & Performance Tools Platform

Known as: TPTP 
The Test & Performance Tools Platform (TPTP) is an Eclipse tool used to profile plug-ins of the IDE that may run on different platforms. TPTP is… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We… 
2015
2015
System integration often requires standardized interchange languages, via which systems can exchange mathematical knowledge… 
2012
2012
PSOA RuleML is an object-relational rule language generalizing POSL, OO RuleML, F-logic, and RIF-BLD. In PSOA RuleML, the notion… 
2009
2009
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based… 
2009
2009
First-order modal logics have many applications, e.g. in planning and program verification. Whereas comprehensive and… 
2007
2007
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based… 
2007
2007
There is a well established infrastructure that supports research, development, and deployment of first-order Automated Theorem… 
2004
2004
One of the main problems in using logic for solving problems is the high computational costs involved in inference. In this paper… 
2002
2002
This paper describes how the homogeneity of sets of ATP problems can be measured with respect to the performance of ATP systems…