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

Related topics

Related topics

6 relations

Broader (1)

Eclipse
Integrated development environmentJavaMicrosoft WindowsPlug-in (computing)
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog
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
Tipi: A TPTP-based theory development environment emphasizing proof analysis
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
Program Verification as Satisfiability Modulo Theories
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
Lightweight relevance filtering for machine-generated resolution problems
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
Combined reasoning by automated cooperation
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
An Interactive Derivation Viewer
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
First order reasoning on a large ontology
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
Reflecting Proofs in First-Order Logic with Equality
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
The HR Program for Theorem Generation
Automated theory formation involves the production of objects of interest, concepts about those objects, conjectures relating the… (More)
Is this relevant?
1999
1999
The CADE-15 ATP System Competition
The results of the CADE-15 ATP System Competition (CASC-15) are presented. 
  • figure 7
Is this relevant?