Search Results for author: Alexander Steen

Found 12 papers, 5 papers with code

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic

no code implementations8 Dec 2023 Antoine Martina, Alexander Steen

An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented.

Solving Quantified Modal Logic Problems by Translation to Classical Logics

1 code implementation19 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.

Automated Theorem Proving Translation

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version)

no code implementations12 Sep 2022 Alexander Steen, David Fuenmayor

LegalRuleML is a comprehensive XML-based representation framework for modeling and exchanging normative rules.


An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

1 code implementation23 Mar 2022 Alexander Steen

The logic embedding tool provides a procedural encoding for non-classical reasoning problems into classical higher-order logic.

Automated Reasoning in Non-classical Logics in the TPTP World

no code implementations20 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.

Automated Theorem Proving Philosophy

A Formalisation of Abstract Argumentation in Higher-Order Logic

1 code implementation18 Oct 2021 Alexander Steen, David Fuenmayor

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic.

Abstract Argumentation

On Reductions of Hintikka Sets for Higher-Order Logic

no code implementations16 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).

The NAI Suite -- Drafting and Reasoning over Legal Texts

no code implementations15 Oct 2019 Tomer Libal, Alexander Steen

A prototype for automated reasoning over legal texts, called NAI, is presented.

Extensional Higher-Order Paramodulation in Leo-III

2 code implementations26 Jul 2019 Alexander Steen, Christoph Benzmüller

Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice.

The Higher-Order Prover Leo-III (Extended Version)

no code implementations8 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.

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

no code implementations7 May 2015 Max Wisniewski, Alexander Steen, Christoph Benzmüller

LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s).

Cannot find the paper you are looking for? You can Submit a new open access paper.