Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 232,658,335 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
2010
2010
Notes of the ECAI-10 Workshop on Automated Reasoning about Context and Ontology Evolution
A. Bundy
,
Jos Lehmann
,
G. Qi
,
I. Varzinczak
2010
Corpus ID: 53914911
Reasoning with embedded formulas is relevant for the SUMO ontology but there is limited automation support so far. We investigate…
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
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
Eclipse web tools platform - developing Java web applications
Naci Dai
,
L. Mandel
,
A. Ryman
The Eclispe series
2007
Corpus ID: 59922271
Discover WTP, the New End-to-End Toolset for Java-Based Web DevelopmentThe Eclipse Web Tools Platform (WTP) seamlessly integrates…
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
2007
2007
Automation of Refactoring and Refactoring Suggestions for TTCN-3 Test Suites. The TRex TTCN-3 Refactoring and Metrics Tool
Helmut Neukirchen
,
Benjamin Zeiss
WRT
2007
Corpus ID: 17849686
Refactoring is not only useful for source code of implementations, but as well for test specifications. The open source TRex tool…
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
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