| Publication | Date of Publication | Type |
|---|
Who finds the short proof?
Logic Journal of the IGPL | 2024-11-15 | Paper |
The logic languages of the TPTP world
Logic Journal of the IGPL | 2024-02-20 | Paper |
Solving modal logic problems by translation to higher-order logic
Lecture Notes in Computer Science | 2024-01-16 | Paper |
The 11th IJCAR automated theorem proving system competition – CASC-J11
AI Communications | 2023-09-08 | Paper |
Larry Wos: visions of automated reasoning
Journal of Automated Reasoning | 2022-12-12 | Paper |
| Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers | 2022-08-14 | Paper |
The CADE-28 Automated Theorem Proving System Competition – CASC-28
AI Communications | 2022-04-19 | Paper |
The 10th IJCAR automated theorem proving system competition -- CASC-J10
AI Communications | 2022-01-11 | Paper |
The CADE-27 automated theorem proving system competition -- CASC-27
AI Communications | 2021-01-20 | Paper |
The 9th IJCAR automated theorem proving system competition -- CASC-J9
AI Communications | 2021-01-20 | Paper |
The CADE-26 automated theorem proving system competition -- CASC-26
AI Communications | 2021-01-20 | Paper |
| JGXYZ: an ATP system for gap and glut logics | 2020-03-10 | Paper |
GRUNGE: a grand unified ATP challenge
(available as arXiv preprint) | 2020-03-10 | Paper |
| scientific article; zbMATH DE number 7178359 (Why is no real title available?) | 2020-03-09 | Paper |
The TPTP problem library
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
The design of the CADE-13 ATP system competition
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
Journal of Automated Reasoning | 2018-02-02 | Paper |
The CADE-25 automated theorem proving system competition -- CASC-25
AI Communications | 2017-11-10 | Paper |
The 8th IJCAR automated theorem proving system competition -- CASC-J8
AI Communications | 2017-11-10 | Paper |
The 7th IJCAR automated theorem proving system competition -- CASC-J7
AI Communications | 2017-11-07 | Paper |
| Detecting inconsistencies in large first-order knowledge bases | 2017-09-22 | Paper |
An interactive derivation viewer
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
ATP and presentation service for Mizar formalizations
Journal of Automated Reasoning | 2013-04-17 | Paper |
The TPTP typed first-order form with arithmetic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
| scientific article; zbMATH DE number 5850137 (Why is no real title available?) | 2011-02-10 | Paper |
The TPTP World -- infrastructure for automated reasoning
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Automated reasoning and presentation support for formalizing mathematics in MizAR
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Large theory reasoning with SUMO at CASC
AI Communications | 2010-06-17 | Paper |
The CADE-22 automated theorem proving system competition -- CASC-22
AI Communications | 2010-05-25 | Paper |
The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
Journal of Automated Reasoning | 2010-01-25 | Paper |
Automated verification of refinement laws
Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments
Mathematics in Computer Science | 2009-09-18 | Paper |
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Solving the \$100 modal logic challenge
Journal of Applied Logic | 2009-03-25 | Paper |
Using the TPTP Language for Writing Derivations and Finite Interpretations
Automated Reasoning | 2009-03-12 | Paper |
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
Automated Reasoning | 2009-03-12 | Paper |
SRASS - A Semantic Relevance Axiom Selection System
Automated Deduction – CADE-21 | 2009-03-06 | Paper |
THF0 – The Core of the TPTP Language for Higher-Order Logic
Automated Reasoning | 2008-11-27 | Paper |
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance
Automated Reasoning | 2008-11-27 | Paper |
| scientific article; zbMATH DE number 5305114 (Why is no real title available?) | 2008-07-29 | Paper |
TPTP, TSTP, CASC, etc.
Computer Science – Theory and Applications | 2008-06-03 | Paper |
ATP Cross-Verification of the Mizar MPTP Challenge Problems
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Automated Reasoning
Lecture Notes in Computer Science | 2007-09-25 | Paper |
| The state of CASC | 2006-09-06 | Paper |
| scientific article; zbMATH DE number 2090306 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1809860 (Why is no real title available?) | 2003-09-21 | Paper |
The IJCAR ATP system competition
Journal of Automated Reasoning | 2002-08-20 | Paper |
Evaluating general purpose automated theorem proving systems
Artificial Intelligence | 2002-07-24 | Paper |
The CADE-17 ATP system competition
Journal of Automated Reasoning | 2002-06-30 | Paper |
| scientific article; zbMATH DE number 1614711 (Why is no real title available?) | 2001-07-05 | Paper |
| scientific article; zbMATH DE number 1614712 (Why is no real title available?) | 2001-07-05 | Paper |
The CADE-16 ATP system competition
Journal of Automated Reasoning | 2001-02-01 | Paper |
The TPTP problem library. CNF release v1. 2. 1
Journal of Automated Reasoning | 1999-01-03 | Paper |
The CADE-14 ATP system competition
Journal of Automated Reasoning | 1999-01-03 | Paper |
An erratum for some errata to ATP problems
Journal of Automated Reasoning | 1997-08-17 | Paper |
| scientific article; zbMATH DE number 517009 (Why is no real title available?) | 1994-04-17 | Paper |
Graphix a graph theory sub language
International Journal of Computer Mathematics | 1985-01-01 | Paper |
