The CADE-22 automated theorem proving system competition - CASC-22
暂无分享,去创建一个
[1] Geoff Sutcliffe. The CADE-21 automated theorem proving system competition , 2008, AI Commun..
[2] Koen Claessen,et al. Using the TPTP Language for Writing Derivations and Finite Interpretations , 2006, IJCAR.
[3] Andrei Voronkov,et al. The design and implementation of VAMPIRE , 2002, AI Commun..
[4] Peter B. Andrews,et al. TPS: A hybrid automatic-interactive system for developing proofs , 2006, J. Appl. Log..
[5] Stephan Schulz,et al. E - a brainiac theorem prover , 2002, AI Commun..
[6] Lawrence C. Paulson,et al. LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) , 2008, IJCAR.
[7] Hans Svensson. A Semi-Automatic Correctness Proof Procedure applied to Stoller's Leader Election Algorithm , 2008 .
[8] Christoph Benzmüller. Equality and Extensionality in Higher-Order Theorem Proving , 1999 .
[9] Maria Paola Bonacina,et al. New results on rewrite-based satisfiability procedures , 2006, TOCL.
[10] Tobias Nipkow,et al. Isabelle/HOL , 2002, Lecture Notes in Computer Science.
[11] Frank Pfenning,et al. TPS: A theorem-proving system for classical type theory , 1996, Journal of Automated Reasoning.
[12] Volker Sorge,et al. Combined reasoning by automated cooperation , 2008, J. Appl. Log..
[13] Andrea Asperti,et al. User Interaction with the Matita Proof Assistant , 2007, Journal of Automated Reasoning.
[14] Hans de Nivelle,et al. Geometric Resolution: A Proof Procedure Based on Finite Model Search , 2006, IJCAR.
[15] Geoff Sutcliffe. The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.
[16] Josef Urban,et al. MPTP 0.2: Design, Implementation, and Initial Experiments , 2006, Journal of Automated Reasoning.
[17] Geoff Sutcliffe,et al. The state of CASC , 2006, AI Commun..
[18] Andrea Asperti,et al. Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case , 2007, Calculemus/MKM.
[19] Josef Urban,et al. MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance , 2008, IJCAR.
[20] Geoff Sutcliffe,et al. Integration of the TPTPWorld into SigmaKEE , 2008, PAAR/ESHOL.
[21] Geoff Sutcliffe,et al. Evaluating general purpose automated theorem proving systems , 2001, Artif. Intell..
[22] Christoph Weidenbach,et al. System Description: SpassVersion 3.0 , 2007, CADE.
[23] Geoff Sutcliffe. The SZS Ontologies for Automated Reasoning Software , 2008, LPAR Workshops.
[24] Christoph Weidenbach,et al. SPASS Version 3.5 , 2009, CADE.