Geoff Sutcliffe

Available identifiers

zbMath Open sutcliffe.geoffMaRDI QIDQ679254

List of research outcomes

Publication	Date of Publication	Type
The logic languages of the TPTP world	2024-02-20	Paper
Solving modal logic problems by translation to higher-order logic	2024-01-16	Paper
The 11th IJCAR automated theorem proving system competition – CASC-J11	2023-09-08	Paper
Larry Wos: visions 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	2022-04-19	Paper
The 10th IJCAR automated theorem proving system competition – CASC-J10	2022-01-11	Paper
The CADE-26 automated theorem proving system competition – CASC-26	2021-01-20	Paper
The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9	2021-01-20	Paper
The CADE-27 Automated theorem proving System Competition – CASC-27	2021-01-20	Paper
GRUNGE: a grand unified ATP challenge	2020-03-10	Paper
JGXYZ: an ATP system for gap and glut logics	2020-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5219924	2020-03-09	Paper
The TPTP problem library	2020-01-21	Paper
The design of the CADE-13 ATP system competition	2019-01-15	Paper
The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0	2018-02-02	Paper
The CADE-25 Automated Theorem Proving system competition – CASC-25	2017-11-10	Paper
The 8th IJCAR automated theorem proving system competition – CASC-J8	2017-11-10	Paper
The 7th IJCAR automated theorem proving system competition – CASC-J7	2017-11-07	Paper
Detecting inconsistencies in large first-order knowledge bases	2017-09-22	Paper
An Interactive Derivation Viewer	2013-12-20	Paper
ATP and presentation service for Mizar formalizations	2013-04-17	Paper
The TPTP Typed First-Order Form with Arithmetic	2012-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q3075241	2011-02-10	Paper
The TPTP World – Infrastructure for Automated Reasoning	2011-01-07	Paper
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar	2010-08-24	Paper
Large theory reasoning with SUMO at CASC	2010-06-17	Paper
The CADE-22 automated theorem proving system competition – CASC-22	2010-05-25	Paper
The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0	2010-01-25	Paper
Automated verification of refinement laws	2009-11-16	Paper
ATP-based cross-verification of Mizar proofs: method, systems, and first experiments	2009-09-18	Paper
Progress in the Development of Automated Theorem Proving for Higher-Order Logic	2009-07-28	Paper
Solving the \$100 modal logic challenge	2009-03-25	Paper
Using the TPTP Language for Writing Derivations and Finite Interpretations	2009-03-12	Paper
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation	2009-03-12	Paper
SRASS - A Semantic Relevance Axiom Selection System	2009-03-06	Paper
MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance	2008-11-27	Paper
THF0 – The Core of the TPTP Language for Higher-Order Logic	2008-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q3515519	2008-07-29	Paper
TPTP, TSTP, CASC, etc.	2008-06-03	Paper
ATP Cross-Verification of the Mizar MPTP Challenge Problems	2008-05-15	Paper
Automated Reasoning	2007-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q5486135	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q4809065	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3150299	2003-09-21	Paper
The IJCAR ATP system competition	2002-08-20	Paper
Evaluating general purpose automated theorem proving systems	2002-07-24	Paper
The CADE-17 ATP system competition	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2723436	2001-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q2723438	2001-07-05	Paper
The CADE-16 ATP system competition	2001-02-01	Paper
The CADE-14 ATP system competition	1999-01-03	Paper
The TPTP problem library. CNF release v1. 2. 1	1999-01-03	Paper
An erratum for some errata to ATP problems	1997-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282532	1994-04-17	Paper
Graphix a graph theory sub language	1985-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Geoff Sutcliffe