1 code implementation • 19 Dec 2022 • Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
The findings are that the embedding process is reliable and successful, the choice of backend ATP system can significantly impact the performance of the embedding approach, native modal logic ATP systems outperform the embedding approach, and the embedding approach can cope with a wider range modal logics than the native modal systems considered.
1 code implementation • 14 Aug 2022 • Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
This paper reports on an exploration of Boolos' Curious Inference, using higher-order automated theorem provers (ATPs).
no code implementations • 20 Feb 2022 • Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Non-classical logics are used in a wide spectrum of disciplines, including artificial intelligence, computer science, mathematics, and philosophy.
1 code implementation • 6 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
no code implementations • 12 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.