Search Results for author: Geoff Sutcliffe

Found 2 papers, 1 papers with code

GRUNGE: A Grand Unified ATP Challenge

1 code implementation6 Mar 2019 Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban

This paper describes a large set of related theorem proving problems obtained by translating theorems from the HOL4 standard library into multiple logical formalisms.

Logic in Computer Science

Modeling in OWL 2 without Restrictions

no code implementations12 Dec 2012 Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe

We then report on the results of evaluating several state-of-the-art OWL 2 DL reasoners on problems that use combinations of features in a way that the global restrictions are violated.

Automated Theorem Proving

Cannot find the paper you are looking for? You can Submit a new open access paper.