Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,320 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Broader (1)
Eclipse
Integrated development environment
Java
Microsoft Windows
Plug-in (computing)
Expand
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
Gen Zou
,
H. Boley
International Web Rule Symposium
2015
Corpus ID: 20149763
PSOA2Prolog consists of a multi-step source-to-source normalizer followed by a mapper to a pure (Horn) subset of ISO Prolog. We…
Expand
2015
2015
Formal Logic Definitions for Interchange Languages
Fulya Horozal
,
Florian Rabe
International Conference on Intelligent Computer…
2015
Corpus ID: 37339909
System integration often requires standardized interchange languages, via which systems can exchange mathematical knowledge…
Expand
2013
2013
LEO-II and Satallax on the Sledgehammer test bench
Nikolai Sultana
,
J. Blanchette
,
Lawrence Charles Paulson
Journal of Applied Logic
2013
Corpus ID: 2615471
2012
2012
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers
Gen Zou
,
Reuben Peter-Paul
,
H. Boley
,
A. Riazanov
International Web Rule Symposium
2012
Corpus ID: 6000912
PSOA RuleML is an object-relational rule language generalizing POSL, OO RuleML, F-logic, and RIF-BLD. In PSOA RuleML, the notion…
Expand
2009
2009
COMBINING MIZAR AND TPTP SEMANTIC PRESENTATION AND VERIFICATION TOOLS
J. Urban
,
G. Sutcliffe
,
Steven Trac
,
Yury Puzis
2009
Corpus ID: 15399532
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based…
Expand
2009
2009
Building a Problem Library for First-Order Modal Logics
Thomas Raths
,
J. Otten
2009
Corpus ID: 11959743
First-order modal logics have many applications, e.g. in planning and program verification. Whereas comprehensive and…
Expand
2007
2007
Combining Mizar and TPTP Semantic Presentation Tools
J. Urban
,
Steven Trac
,
G. Sutcliffe
,
Yury Puzis
2007
Corpus ID: 716744
This paper describes a combination of several Mizar-based tools (the MPTP translator, XSL style sheets for Mizar), and TPTP-based…
Expand
2007
2007
THF 0 – The Core TPTP Language for Classical Higher-Order Logic
Christoph Benzmüller
,
Florian Rabe
,
G. Sutcliffe
2007
Corpus ID: 7059554
There is a well established infrastructure that supports research, development, and deployment of first-order Automated Theorem…
Expand
2004
2004
Using Relevance to Speed Up Inference. Some Empirical Results
J. Riani
,
Renata Wassermann
Brazilian Symposium on Artificial Intelligence
2004
Corpus ID: 31164896
One of the main problems in using logic for solving problems is the high computational costs involved in inference. In this paper…
Expand
2002
2002
Homogeneous Sets of ATP Problems
M. Fuchs
,
G. Sutcliffe
The Florida AI Research Society
2002
Corpus ID: 766912
This paper describes how the homogeneity of sets of ATP problems can be measured with respect to the performance of ATP systems…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE