BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Canada
1 × Denmark
1 × France
1 × Germany
1 × Ireland
1 × Poland
5 × USA
Collaborated with:
C.B.Suttner Y.Puzis A.V.Gelder S.Schulz J.Urban C.Benzmüller M.Schneider M.Brown F.J.Pelletier C.E.Brown A.Stump C.Tinelli A.Roederer F.Rabe T.Yemenis F.Theiss P.Pudlák J.Vyskocil K.Claessen S.S.0001 A.Pease T.Gauthier C.Kaliszyk
Talks about:
system (13) atp (8) order (6) competit (5) logic (5) tptp (5) languag (4) semant (4) autom (4) descript (3)

Person: Geoff Sutcliffe

DBLP DBLP: Sutcliffe:Geoff

Contributed to:

IJCAR 20142014
CADE 20112011
CADE 20092009
IJCAR 20082008
CADE 20072007
IJCAR 20062006
IJCAR 20042004
CADE 20032003
CADE 20022002
CADE 20002000
CADE 19961996
CADE 19941994
CADE 19921992
CADE 19901990
CADE 20172017
CADE 20192019

Wrote 24 papers:

IJCAR-2014-StumpST #framework #logic #named
StarExec: A Cross-Community Infrastructure for Logic Solving (AS, GS, CT), pp. 367–373.
CADE-2011-SchneiderS #automation #first-order #ontology #owl #proving #reasoning #theorem proving #using
Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving (MS, GS), pp. 461–475.
CADE-2009-RoedererPS #axiom #named
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering (AR, YP, GS), pp. 157–162.
CADE-2009-SutcliffeBBT #automation #development #higher-order #logic #proving #theorem proving
Progress in the Development of Automated Theorem Proving for Higher-Order Logic (GS, CB, CEB, FT), pp. 116–130.
IJCAR-2008-BenzmullerRS #higher-order #logic #named
THF0 — The Core of the TPTP Language for Higher-Order Logic (CB, FR, GS), pp. 491–506.
IJCAR-2008-Sutcliffe #contest
CASC-J4 The 4th IJCAR ATP System Competition (GS), pp. 457–458.
IJCAR-2008-UrbanSPV #automation #reasoning #semantics
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance (JU, GS, PP, JV), pp. 441–456.
CADE-2007-SutcliffeP #axiom #named #semantics
SRASS — A Semantic Relevance Axiom Selection System (GS, YP), pp. 295–310.
IJCAR-2006-GelderS #automation #generative #higher-order #logic #parsing
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation (AVG, GS), pp. 156–161.
IJCAR-2006-Sutcliffe #contest #named
CASC-J3 — The 3rd IJCAR ATP System Competition (GS), pp. 572–573.
IJCAR-2006-SutcliffeSCG #finite #using
Using the TPTP Language for Writing Derivations and Finite Interpretations (GS, SS, KC, AVG), pp. 67–81.
IJCAR-2004-SutcliffeS #contest
The CADE ATP System Competition (GS, CBS), pp. 490–491.
CADE-2003-SutcliffeS #contest
The CADE-19 ATP System Competition (GS, CBS), pp. 295–296.
CADE-2002-SchulzS
System Description: GrAnDe 1.0 (SS, GS), pp. 280–284.
CADE-2000-BrownS #semantics
System Description: PTTP+GLiDes: Semantically Guided PTTP (MB, GS), pp. 411–416.
CADE-2000-Sutcliffe
System Description: SystemOn TPTP (GS), pp. 406–410.
CADE-1996-SuttnerS #contest #design
The Design of the CADE-13 ATP System Competition (CBS, GS), pp. 146–160.
CADE-1994-SutcliffeSY #library #problem
The TPTP Problem Library (GS, CBS, TY), pp. 252–266.
CADE-1992-Sutcliffe #analysis #set
Linear-Input Subset Analysis (GS), pp. 268–280.
CADE-1992-Sutcliffe92a #deduction #linear #semantics
The Semantically Guided Linear Deduction System (GS), pp. 677–680.
CADE-1990-Sutcliffe #proving #theorem proving
A General Clause Theorem Prover (GS), pp. 675–676.
CADE-2017-0001SUP #consistency #detection #first-order #knowledge base #nondeterminism #scalability
Detecting Inconsistencies in Large First-Order Knowledge Bases (SS0, GS, JU, AP), pp. 310–325.
CADE-2019-BrownGKSU #challenge #named
GRUNGE: A Grand Unified ATP Challenge (CEB, TG, CK, GS, JU), pp. 123–141.
CADE-2019-SutcliffeP #logic #named
JGXYZ: An ATP System for Gap and Glut Logics (GS, FJP), pp. 526–537.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.