Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.
Test & Performance Tools Platform
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol… Expand
Review
2017
Review
2017
This paper describes the TPTP problem library and associated infrastructure, from its use of Clause Normal Form (CNF), via the… Expand
2016
2016
The approach Why3 takes to interfacing with a wide variety of interactive
and automatic theorem provers works well: it is… Expand
2016
2016
The RuleML knowledge-interoperation hub provides for syntactic/semantic representation and internal/external transformation of… Expand
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… Expand
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… Expand
2006
2006
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems… Expand
Highly Cited
2006
Highly Cited
2006
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the… Expand
2005
2005
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof… Expand
Review
2004
Review
2004
This paper provides a detailed description of the CNF part of the TPTP Problem Library for automated theorem-proving systems. The… Expand
