Geoff Sutcliffe
University of Miami
H-index: 36
North America-United States
Top articles of Geoff Sutcliffe
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
An Interactive Interpretation Viewer for Typed First-order Logic | The International FLAIRS Conference Proceedings | Jack McKeown Geoff Sutcliffe | 2023/5/8 |
The logic languages of the TPTP world | Logic Journal of the IGPL | Geoff Sutcliffe | 2023/12 |
Who Finds the Short Proof? | Logic Journal of the IGPL | Christoph Benzmüller David Fuenmayor Alexander Steen Geoff Sutcliffe | 2023/1/25 |
Solving Modal Logic Problems by Translation to Higher-Order Logic | Alexander Steen Geoff Sutcliffe Tobias Scholl Christoph Benzmüller | 2023/8/2 | |
Automation of Boolos’ Curious Inference in Isabelle/HOL | Christoph Benzmüller David Fuenmayor Alexander Steen Geoff Sutcliffe | 2023/1/10 | |
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic | Alexander Steen Geoff Sutcliffe Pascal Fontaine Jack Mckeown | 2023/6/4 | |
The 11th IJCAR automated theorem proving system competition–CASC-J11 | AI Communications | Geoff Sutcliffe Martin Desharnais | 2023/1/1 |
A Chat with Bard | Proceedings of the 14th International Workshop on the Implementation of Logics | Geoff Sutcliffe Jack McKeown Alexander Steen | 2023/6/4 |
Reinforcement Learning for Guiding the E Theorem Prover | The International FLAIRS Conference Proceedings | Jack McKeown Geoff Sutcliffe | 2023/5/8 |
Larry Wos: Visions of automated reasoning | Journal of automated reasoning | Michael Beeson Maria Paola Bonacina Michael Kinyon Geoff Sutcliffe | 2022/11 |
Improving probability selection based weights for satisfiability problems | Knowledge-Based Systems | Huimin Fu Jun Liu Guanfeng Wu Yang Xu Geoff Sutcliffe | 2022/6/7 |
Automated reasoning in non-classical logics in the TPTP world | arXiv preprint arXiv:2202.09836 | Alexander Steen David Fuenmayor Tobias Gleißner Geoff Sutcliffe Christoph Benzmüller | 2022/2/20 |
Solving QMLTP problems by translation to higher-order logic | arXiv preprint arXiv:2212.09570 | Alexander Steen Geoff Sutcliffe Tobias Scholl Christoph Benzmüller | 2022/12/19 |
Automated Deduction–CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings | André Platzer Geoff Sutcliffe | 2021 | |
The 10th IJCAR automated theorem proving system competition–CASC-J10 | Ai communications | Geoff Sutcliffe | 2021/1/1 |
Combining json-ld with first order logic | Tanel Tammet Geoff Sutcliffe | 2021/1/27 | |
The CADE-28 automated theorem proving system competition–CASC-28 | Ai communications | Geoff Sutcliffe Martin Desharnais | 2021/1/1 |
The Expansion, Modernisation, and Future of the TPTP World. | Geoff Sutcliffe | 2021 | |
Cutting Down the TPTP Language (And Others). | Nahku Saidy Hanna Siegfried Stephan Schulz Geoff Sutcliffe | 2020 | |
Evaluation of Axiom Selection Techniques. | Qinghua Liu Zishi Wu Zihao Wang Geoff Sutcliffe | 2020 |