Alexander Steen

ORCID

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 43

Top Venues

Free University of Berlin, Dahlem, Germany (PHD)

Education History

Free University of Berlin, Dahlem, Germany

PHD

Publications

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who finds the short proof? Log. J. IGPL 32 (3) (2024)
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine
The New TPTP Format for Interpretations. CoRR (2024)
Alexander Steen, Geoff Sutcliffe
TPTP World Infrastructure for Non-classical Logics. PAAR+SC²@IJCAR (2024)
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. LPAR (2023)
Melanie Taprogge, Alexander Steen
Flexible Automation of Quantified Multi-Modal Logics with Interactions. KI (2023)
Antoine Martina, Alexander Steen
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic. CoRR (2023)
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
Solving Modal Logic Problems by Translation to Higher-Order Logic. CLAR (2023)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Alexander Steen
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper). PAAR@IJCAR (2022)
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR (2022)
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR (2022)
Alexander Steen, David Fuenmayor
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version). CoRR (2022)
Alexander Steen, David Fuenmayor
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. RuleML+RR (2022)
Alexander Steen
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning. CoRR (2022)
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
Solving QMLTP Problems by Translation to Higher-order Logic. CoRR (2022)
Alexander Steen
Goal-Directed Decision Procedures for Input/Output Logics. DEON (2021)
Alexander Steen, Christoph Benzmüller
Extensional Higher-Order Paramodulation in Leo-III. J. Autom. Reason. 65 (6) (2021)
Alexander Steen, David Fuenmayor
A Formalisation of Abstract Argumentation in Higher-Order Logic. CoRR (2021)
Alexander Steen, Christoph Benzmüller
On Reductions of Hintikka Sets for Higher-Order Logic. CoRR (2020)
Tomer Libal, Alexander Steen
Towards an Executable Methodology for the Formalization of Legal Texts. CLAR (2020)
Alexander Steen
Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III. Künstliche Intell. 34 (1) (2020)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. ECAI (2020)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III (Extended Abstract). KI (2019)
Tomer Libal, Alexander Steen
The NAI Suite - Drafting and Reasoning over Legal Texts. JURIX (2019)
Tomer Libal, Alexander Steen
NAI: The Normative Reasoner. ICAIL (2019)
Alexander Steen
Higher-order theorem proving and its applications. it Inf. Technol. 61 (4) (2019)
Alexander Steen, Christoph Benzmüller
Extensional Higher-Order Paramodulation in Leo-III. CoRR (2019)
Tomer Libal, Alexander Steen
The NAI Suite - Drafting and Reasoning over Legal Texts. CoRR (2019)
Tobias Gleißner, Alexander Steen
The MET: The Art of Flexible Reasoning with Modalities. RuleML+RR (2018)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. IJCAR (2018)
Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III. CoRR (2018)
Alexander Steen, Christoph Benzmüller
System Demonstration: The Higher-Order Prover Leo-III. ARQNL@IJCAR (2018)
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
Capability Discovery for Automated Reasoning Systems. IWIL@LPAR (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Going Polymorphic - TH1 Reasoning for Leo-III. IWIL@LPAR (2017)
Christoph Benzmüller, Alexander Steen, Max Wisniewski
Leo-III Version 1.1 (System description). LPAR (Short Presentations) (2017)
Tobias Gleißner, Alexander Steen, Christoph Benzmüller
Theorem Provers For Every Normal Modal Logic. LPAR (2017)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL. GCAI (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Agent-Based HOL Reasoning. ICMS (2016)
Alexander Steen, Max Wisniewski, Christoph Benzmüller
Einsatz von Theorembeweisern in der Lehre. HDI (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
TPTP and Beyond: Representation of Quantified Non-Classical Logics. ARQNL@IJCAR (2016)
Tomer Libal, Alexander Steen
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. PAAR@IJCAR (2016)
Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller
Effective Normalization Techniques for HOL. IJCAR (2016)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. CoRR (2015)
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners. CICM (2015)
Alexander Steen, Christoph Benzmüller
There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. LPAR (2015)
Max Wisniewski, Alexander Steen
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. ARQNL@IJCAR (2014)

Alexander Steen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexander Steen