Using the TPTP Language for Writing Derivations and Finite Interpretations
暂无分享,去创建一个
Koen Claessen | Geoff Sutcliffe | Stephan Schulz | Allen Van Gelder | A. V. Gelder | G. Sutcliffe | K. Claessen | S. Schulz
[1] Graham Steel. Visualising First-Order Proof Search , 2005 .
[2] Maria Paola Bonacina,et al. On handling distinct objects in the superposition calculus , 2005, ICLP 2005.
[3] Christoph Weidenbach,et al. Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion'' , 1996 .
[4] O. Caprotti,et al. OpenMath and MathML: semantic markup for mathematics , 1999, CROS.
[5] M. Gordon,et al. Introduction to HOL: a theorem proving environment for higher order logic , 1993 .
[6] William McCune,et al. Ivy: a preprocessor and proof checker for first-order logic , 2000 .
[7] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[8] Geoff Sutcliffe,et al. TSTP Data-Exchange Formats for Automated Theorem Proving Tools , 2004 .
[9] Geoff Sutcliffe,et al. Semantic Derivation Verification , 2005, FLAIRS Conference.
[10] Geoff Sutcliffe,et al. The TPTP Problem Library , 1994, Journal of Automated Reasoning.
[11] K. Claessen,et al. New Techniques that Improve MACE-style Finite Model Finding , 2007 .
[12] Geoff Sutcliffe. System Description: SystemOn TPTP , 2000, CADE.
[13] Johann Schumann,et al. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software , 2004, IJCAR.
[14] Stephan Schulz,et al. E - a brainiac theorem prover , 2002, AI Commun..
[15] William McCune,et al. OTTER 3.3 Reference Manual , 2003, ArXiv.
[16] Jörg Denzinger,et al. Recording and Analysing Knowledge-Based Distributed Deduction Processes , 1996, J. Symb. Comput..
[17] Josef Urban. MPTP – Motivation, Implementation, First Experiments , 2004, Journal of Automated Reasoning.
[18] Christoph Benzmüller,et al. A Structured Set of Higher-Order Problems , 2005, TPHOLs.
[19] Geoff Sutcliffe,et al. Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation , 2006, IJCAR.