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: Sutcliffe:Geoff
Contributed to:
2014
201120092008200720062004200320022000199619941992199020172019Wrote 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.