research
∙
12/19/2022
Solving QMLTP Problems by Translation to Higher-order Logic
This paper describes an evaluation of Automated Theorem Proving (ATP) sy...
share
research
∙
08/14/2022
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
This paper reports on an exploration of variants of Boolos' curious infe...
research
∙
02/20/2022
Automated Reasoning in Non-classical Logics in the TPTP World
Non-classical logics are used in a wide spectrum of disciplines, includi...
research
∙
03/06/2019
GRUNGE: A Grand Unified ATP Challenge
This paper describes a large set of related theorem proving problems obt...
research
∙
12/12/2012
Modeling in OWL 2 without Restrictions
The Semantic Web ontology language OWL 2 DL comes with a variety of lang...
research
∙
09/03/2011
ATP and Presentation Service for Mizar Formalizations
This paper describes the Automated Reasoning for Mizar (MizAR) service, ...
research
∙
07/31/2011
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a ...
research
∙
05/25/2010