Alexander Steen

According to our database, Alexander Steen authored at least 39 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic.

Antoine Martina, Alexander Steen

CoRR, 2023

Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.

Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Flexible Automation of Quantified Multi-Modal Logics with Interactions.

Melanie Taprogge, Alexander Steen

Proceedings of the KI 2023: Advances in Artificial Intelligence, 2023

Solving Modal Logic Problems by Translation to Higher-Order Logic.

Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

Solving QMLTP Problems by Translation to Higher-order Logic.

Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller

CoRR, 2022

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

Alexander Steen, David Fuenmayor

CoRR, 2022

Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe

CoRR, 2022

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning.

Alexander Steen

CoRR, 2022

Automation of Boolos' Curious Inference in Isabelle/HOL.

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe

Arch. Formal Proofs, 2022

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.

Alexander Steen, David Fuenmayor

Proceedings of the Rules and Reasoning, 2022

Automated Reasoning in Non-classical Logics in the TPTP World.

Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper).

Alexander Steen

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

2021

Extensional Higher-Order Paramodulation in Leo-III.

Alexander Steen, Christoph Benzmüller

J. Autom. Reason., 2021

A Formalisation of Abstract Argumentation in Higher-Order Logic.

Alexander Steen, David Fuenmayor

CoRR, 2021

Goal-Directed Decision Procedures for Input/Output Logics.

Alexander Steen

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

2020

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.

Alexander Steen

Künstliche Intell., 2020

On Reductions of Hintikka Sets for Higher-Order Logic.

Alexander Steen, Christoph Benzmüller

CoRR, 2020

The Higher-Order Prover Leo-III.

Alexander Steen, Christoph Benzmüller

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Towards an Executable Methodology for the Formalization of Legal Texts.

Tomer Libal, Alexander Steen

Proceedings of the Logic and Argumentation - Third International Conference, 2020

2019

Higher-order theorem proving and its applications.

Alexander Steen

it Inf. Technol., 2019

The Higher-Order Prover Leo-III (Extended Abstract).

Alexander Steen, Christoph Benzmüller

Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

The NAI Suite - Drafting and Reasoning over Legal Texts.

Tomer Libal, Alexander Steen

Proceedings of the Legal Knowledge and Information Systems, 2019

NAI: The Normative Reasoner.

Tomer Libal, Alexander Steen

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

2018

Extensional paramodulation for higher-order logic and its effective implementation Leo-III.

Alexander Steen

PhD thesis, 2018

The MET: The Art of Flexible Reasoning with Modalities.

Tobias Gleißner, Alexander Steen

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

System Demonstration: The Higher-Order Prover Leo-III.

Alexander Steen, Christoph Benzmüller

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), 2018

2017

Capability Discovery for Automated Reasoning Systems.

Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Going Polymorphic - TH1 Reasoning for Leo-III.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Theorem Provers For Every Normal Modal Logic.

Tobias Gleißner, Alexander Steen, Christoph Benzmüller

Proceedings of the LPAR-21, 2017

Leo-III Version 1.1 (System description).

Christoph Benzmüller, Alexander Steen, Max Wisniewski

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

2016

Einsatz von Theorembeweisern in der Lehre.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the Hochschuldidaktik der Informatik, 2016

Agent-Based HOL Reasoning.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the Mathematical Software - ICMS 2016, 2016

Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.

Alexander Steen, Max Wisniewski, Christoph Benzmüller

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Effective Normalization Techniques for HOL.

Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

TPTP and Beyond: Representation of Quantified Non-Classical Logics.

Max Wisniewski, Alexander Steen, Christoph Benzmüller

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.

Tomer Libal, Alexander Steen

Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015

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

Max Wisniewski, Alexander Steen, Christoph Benzmüller

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners.

Alexander Steen, Christoph Benzmüller

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.

Max Wisniewski, Alexander Steen

Proceedings of the Automated Reasoning in Quantified Non-Classical Logics, 2014