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.
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.
no code implementations • 12 Sep 2022 • Alexander Steen, David Fuenmayor
LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules.
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).
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.
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 • 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.
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 • 15 Oct 2019 • Tomer Libal, Alexander Steen
A prototype for automated reasoning over legal texts, called NAI, is presented.
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.
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).