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
∙
09/12/2022
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)
LegalRuleML is a comprehensive XML-based representation framework for mo...
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
∙
03/23/2022
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
The logic embedding tool provides a procedural encoding for non-classica...
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
∙
10/18/2021
A Formalisation of Abstract Argumentation in Higher-Order Logic
We present an approach for representing abstract argumentation framework...
research
∙
04/16/2020
On Reductions of Hintikka Sets for Higher-Order Logic
Steen's (2018) Hintikka set properties for Church's type theory based on...
research
∙
10/15/2019
The NAI Suite – Drafting and Reasoning over Legal Texts
A prototype for automated reasoning over legal texts, called NAI, is pre...
research
∙
07/26/2019
Extensional Higher-Order Paramodulation in Leo-III
Leo-III is an automated theorem prover for extensional type theory with ...
research
∙
02/08/2018
The Higher-Order Prover Leo-III (Extended Version)
The automated theorem prover Leo-III for classical higher-order logic wi...
research
∙
02/08/2018
The Higher-Order Prover Leo-III
The automated theorem prover Leo-III for classical higher-order logic wi...
research
∙
05/07/2015