E-LIB Suche - Ergebnisse für: Sutcliffe, Geoff

1

Stepping Stones in the TPTP World:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Sutcliffe, Geoff - p. 30-50 , 2024

Link: https://doi.org/10.1007/..

2

An Empirical Assessment of Progress in Automated Theorem Pr..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Sutcliffe, Geoff ; Suttner, Christian ; Kotthoff, Lars.. - p. 53-74 , 2024

Link: https://doi.org/10.1007/..

3

Interactive Interpretation Viewer for Typed First-order Log..:

McKeown, Jack ; Sutcliffe, Geoff
The International FLAIRS Conference Proceedings. 36 (2023) - p. , 2023

Link: https://doi.org/10.32473..

4

Solving Modal Logic Problems by Translation to Higher-Order..:

, In: Lecture Notes in Computer Science; Logic and Argumentation,

Steen, Alexander ; Sutcliffe, Geoff ; Scholl, Tobias. - p. 25-43 , 2023

Link: https://doi.org/10.1007/..

5

Reinforcement Learning for Guiding the E Theorem Prover:

McKeown, Jack ; Sutcliffe, Geoff
The International FLAIRS Conference Proceedings. 36 (2023) - p. , 2023

Link: https://doi.org/10.32473..

6

Who finds the short proof?:

Benzmüller, Christoph ; Fuenmayor, David ; Steen, Alexander.
Logic Journal of the IGPL. 32 (2023) 3 - p. 442-464 , 2023

Link: https://doi.org/10.1093/..

7

Larry Wos: Visions of Automated Reasoning:

Beeson, Michael ; Bonacina, Maria Paola ; Kinyon, Michael.
Journal of Automated Reasoning. 66 (2022) 4 - p. 439-461 , 2022

Link: https://doi.org/10.1007/..

8

The logic languages of the TPTP world:

Sutcliffe, Geoff
Logic Journal of the IGPL. 31 (2022) 6 - p. 1153-1169 , 2022

Link: https://doi.org/10.1093/..

9

Improving probability selection based weights for satisfiab..:

Fu, Huimin ; Liu, Jun ; Wu, Guanfeng..
Knowledge-Based Systems. 245 (2022) - p. 108572 , 2022

Link: https://doi.org/10.1016/..

10

TOOLympics 2019: An Overview of Competitions in Formal Meth..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bartocci, Ezio ; Beyer, Dirk ; Black, Paul E.... - p. 3-24 , 2019

Link: https://doi.org/10.1007/..

11

JGXYZ: An ATP System for Gap and Glut Logics:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,

Sutcliffe, Geoff ; Pelletier, Francis Jeffry - p. 526-537 , 2019

Link: https://doi.org/10.1007/..

12

GRUNGE: A Grand Unified ATP Challenge:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,

Brown, Chad E. ; Gauthier, Thibault ; Kaliszyk, Cezary.. - p. 123-141 , 2019

Link: https://doi.org/10.1007/..

13

The TPTP Problem Library and Associated Infrastructure: Fro..:

Sutcliffe, Geoff
Journal of Automated Reasoning. 59 (2017) 4 - p. 483-502 , 2017

Link: https://doi.org/10.1007/..

14

ATP and Presentation Service for Mizar Formalizations:

Urban, Josef ; Rudnicki, Piotr ; Sutcliffe, Geoff
Journal of Automated Reasoning. 50 (2012) 2 - p. 229-241 , 2012

Link: https://doi.org/10.1007/..

15

Automated Reasoning and Presentation Support for Formalizin..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Urban, Josef ; Sutcliffe, Geoff - p. 132-146 , 2010

Link: https://doi.org/10.1007/..