Picture for Geoff Sutcliffe

Geoff Sutcliffe

Solving QMLTP Problems by Translation to Higher-order Logic

Add code
Dec 19, 2022
Viaarxiv icon

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers

Add code
Aug 22, 2022
Viaarxiv icon

Automated Reasoning in Non-classical Logics in the TPTP World

Add code
Feb 20, 2022
Figure 1 for Automated Reasoning in Non-classical Logics in the TPTP World
Viaarxiv icon

Modeling in OWL 2 without Restrictions

Add code
Apr 28, 2013
Figure 1 for Modeling in OWL 2 without Restrictions
Figure 2 for Modeling in OWL 2 without Restrictions
Figure 3 for Modeling in OWL 2 without Restrictions
Viaarxiv icon

ATP and Presentation Service for Mizar Formalizations

Add code
Oct 09, 2012
Figure 1 for ATP and Presentation Service for Mizar Formalizations
Figure 2 for ATP and Presentation Service for Mizar Formalizations
Viaarxiv icon

Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

Add code
Jul 31, 2011
Figure 1 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 2 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 3 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Figure 4 for Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Viaarxiv icon

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

Add code
May 25, 2010
Figure 1 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 2 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 3 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Figure 4 for Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Viaarxiv icon