2 code implementations • 26 Jul 2019 • Alexander Steen, Christoph Benzmüller
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice.
1 code implementation • 23 Mar 2022 • Alexander Steen
The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic.
1 code implementation • 18 Oct 2021 • Alexander Steen, David Fuenmayor
We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic.
1 code implementation • 19 Dec 2022 • Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller
This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems.
no code implementations • 8 Feb 2018 • Alexander Steen, Christoph Benzmüller
The automated theorem prover Leo-III for classical higher-order logic with Henkin semantics and choice is presented.
no code implementations • 7 May 2015 • Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s).
no code implementations • 15 Oct 2019 • Tomer Libal, Alexander Steen
A prototype for automated reasoning over legal texts, called NAI, is presented.
no code implementations • 16 Apr 2020 • Alexander Steen, Christoph Benzmüller
Steen's (2018) Hintikka set properties for Church's type theory based on primitive equality are reduced to the Hintikka set properties of Brown (2007).
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 • 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 • 12 Sep 2022 • Alexander Steen, David Fuenmayor
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules.
no code implementations • 8 Dec 2023 • Antoine Martina, Alexander Steen
An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented.