On connections and higher-order logic
Journal of Automated Reasoning
Theorem Proving via General Matings
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of Automated Reasoning
Proof General: A Generic Tool for Proof Development
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Breadth-First Strategy for Mating Search
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
System Description: LEO - A Higher-Order Theorem Prover
CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
AI Communications
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
The impact of CASC in the development of automated deduction systems: Guest-editorial
AI Communications - CASC
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
The ILTP Problem Library for Intuitionistic Logic
Journal of Automated Reasoning
An Interactive Derivation Viewer
Electronic Notes in Theoretical Computer Science (ENTCS)
System Description: Spass Version 3.0
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
THF0 --- The Core of the TPTP Language for Higher-Order Logic
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Using the TPTP language for writing derivations and finite interpretations
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Extending the TPTP language to higher-order logic with automated parser generation
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A structured set of higher-order problems
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Representing story plans in SUMO
CALC '10 Proceedings of the NAACL HLT 2010 Second Workshop on Computational Approaches to Linguistic Creativity
Embedding deduction modulo into a prover
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Combining logics in simple type theory
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Analytic Tableaux for Higher-Order Logic with Choice
Journal of Automated Reasoning
Higher-order aspects and context in SUMO
Web Semantics: Science, Services and Agents on the World Wide Web
Analytic tableaux for higher-order logic with choice
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
Hi-index | 0.00 |
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-order Automated Theorem Proving (ATP) systems. Recently, the TPTP has been extended to include problems in higher-order logic, with corresponding infrastructure and resources. This paper describes the practical progress that has been made towards the goal of TPTP support for higher-order ATP systems.