ORCID Profile
0000-0001-9120-3927
Current Organisations
University of Western Australia
,
University of Miami
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: Springer Science and Business Media LLC
Date: 15-12-2006
Publisher: Springer Science and Business Media LLC
Date: 1999
Publisher: Springer Science and Business Media LLC
Date: 2002
Publisher: Springer Berlin Heidelberg
Date: 2000
DOI: 10.1007/10721959_32
Publisher: Springer Berlin Heidelberg
Date: 2000
DOI: 10.1007/10721959_31
Publisher: Springer Science and Business Media LLC
Date: 2003
Publisher: Springer Berlin Heidelberg
Date: 1993
Publisher: Springer International Publishing
Date: 2017
Publisher: Springer Berlin Heidelberg
Date: 1996
Publisher: Springer Science and Business Media LLC
Date: 22-07-2009
Publisher: Elsevier BV
Date: 03-2009
Publisher: Springer Berlin Heidelberg
Date: 2002
Publisher: Springer International Publishing
Date: 2014
Publisher: Springer Science and Business Media LLC
Date: 28-02-2022
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11814771_15
Publisher: Springer International Publishing
Date: 2019
Publisher: Springer Science and Business Media LLC
Date: 02-2009
Publisher: Springer Science and Business Media LLC
Date: 1997
Publisher: Springer Berlin Heidelberg
Date: 2009
Publisher: Springer Science and Business Media LLC
Date: 1997
Publisher: Springer Berlin Heidelberg
Date: 2010
Publisher: Elsevier BV
Date: 09-2001
Publisher: Springer Berlin Heidelberg
Date: 2011
Publisher: Springer Berlin Heidelberg
Date: 1994
Publisher: Elsevier BV
Date: 03-2009
Publisher: Elsevier BV
Date: 06-1999
Publisher: Springer Science and Business Media LLC
Date: 2000
Publisher: Springer Berlin Heidelberg
Date: 2007
Publisher: Springer Science and Business Media LLC
Date: 1997
Publisher: Springer Science and Business Media LLC
Date: 2001
Publisher: Springer Berlin Heidelberg
Date: 2007
Publisher: Springer Science and Business Media LLC
Date: 22-12-2006
Publisher: Springer Berlin Heidelberg
Date: 1990
Publisher: Elsevier BV
Date: 05-2007
Publisher: Springer Science and Business Media LLC
Date: 1997
Publisher: Springer Science and Business Media LLC
Date: 1997
Publisher: Springer Nature Switzerland
Date: 2023
Publisher: Springer Berlin Heidelberg
Date: 2008
Publisher: Springer Berlin Heidelberg
Date: 2008
Publisher: World Scientific Pub Co Pte Lt
Date: 02-2006
Publisher: Springer Science and Business Media LLC
Date: 1998
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11814771_7
Publisher: Ovid Technologies (Wolters Kluwer Health)
Date: 06-2013
Publisher: University of Florida George A Smathers Libraries
Date: 08-05-2023
DOI: 10.32473/FLAIRS.36.133334
Abstract: Automated Theorem Proving (ATP) systems search for aproof in a rapidly growing space of possibilities. Heuristicshave a profound impact on search, and ATP systems makeheavy use of heuristics. This work uses reinforcement learn-ing to learn a metaheuristic that decides which heuristic to useat each step of a proof search in the E ATP system. Proximalpolicy optimization is used to dynamically select a heuristicfrom a fixed set, based on the current state of E. The approachis evaluated on its ability to reduce the number of inferencesteps used in successful proof searches, as an indicator of in-telligent search.
Publisher: Springer Science and Business Media LLC
Date: 06-11-2013
Publisher: Springer Berlin Heidelberg
Date: 1996
Publisher: Open Publishing Association
Date: 29-10-2014
DOI: 10.4204/EPTCS.167.1
Publisher: Springer Science and Business Media LLC
Date: 17-02-2017
Publisher: Springer Berlin Heidelberg
Date: 2009
Publisher: Springer Berlin Heidelberg
Date: 1999
Publisher: World Scientific Pub Co Pte Lt
Date: 12-2006
DOI: 10.1142/S0218213006003119
Abstract: Automated Theorem Proving (ATP) systems are complex pieces of software, and thus may have bugs that make them unsound. In order to guard against unsoundness, the derivations output by an ATP system may be semantically verified by trusted ATP systems that check the required semantic properties of each inference step. Such verification needs to be augmented by structural verification that checks that inferences have been used correctly in the context of the overall derivation. This paper describes techniques for semantic verification of derivations, and reports on their implementation and testing in the GDV verifier.
Publisher: University of Florida George A Smathers Libraries
Date: 08-05-2023
DOI: 10.32473/FLAIRS.36
Publisher: Wiley
Date: 06-2016
Abstract: The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem‐proving (ATP) systems for classical logic — the world ch ionship for such systems. CASC provides a public evaluation of the relative capabilities of ATP systems, and aims to stimulate ATP research toward the development of more powerful ATP systems. Over the years CASC has been a catalyst for impressive improvements in ATP.
Publisher: Springer Science and Business Media LLC
Date: 1998
Publisher: Springer International Publishing
Date: 2019
Publisher: Springer Berlin Heidelberg
Date: 2010
Publisher: Springer Berlin Heidelberg
Date: 1992
Publisher: IGI Global
Date: 2012
Publisher: Springer Science and Business Media LLC
Date: 28-10-2008
Publisher: Springer Berlin Heidelberg
Date: 2008
Publisher: Springer Berlin Heidelberg
Date: 2007
Publisher: Springer Berlin Heidelberg
Date: 2012
Publisher: Springer Berlin Heidelberg
Date: 1992
Publisher: Informa UK Limited
Date: 1985
Publisher: Springer Berlin Heidelberg
Date: 2009
Publisher: Elsevier BV
Date: 06-1991
Publisher: Springer Berlin Heidelberg
Date: 2004
Publisher: Springer International Publishing
Date: 2019
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11814771_46
Publisher: Springer Berlin Heidelberg
Date: 2003
No related grants have been discovered for Geoff Sutcliffe.