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… (More)
Wikipedia

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… (More)
Is this relevant?
2012
2012
In some theory development tasks, a problem is satisfactorily solved once it is shown that a theorem (conjecture) is derivable… (More)
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2012
Highly Cited
2012
A key driver of SMT over the past decade has been an interchange format, SMT-LIB, and a growing set of benchmarks sharing this… (More)
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Irrelevant clauses in resolution problems increase the search space, making it hard to find proofs in a reasonable time. Simple… (More)
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2008
2008
Different reasoning systems have different strengths and weaknesses, and often it is useful to combine these systems to gain as… (More)
  • table 1
  • table 3
  • table 5
  • table A.1
  • table A.3
Is this relevant?
2007
2007
This work describes the Interactive Derivation Viewer (IDV) tool for graphical rendering of derivations that are written in the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged… (More)
  • table 1
Is this relevant?
2005
2005
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
2002
2002
Automated theory formation involves the production of objects of interest, concepts about those objects, conjectures relating the… (More)
Is this relevant?
1999
1999
The results of the CADE-15 ATP System Competition (CASC-15) are presented. 
  • figure 7
Is this relevant?