Alexander Steen

61 papers A 3B 5C 3Misc 3Journal 24Unranked 16
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Reduction of Input/Output Logics to SAT.
CoRR
Alexander Steen
2025 J jnl
An encoding of abstract dialectical frameworks into higher-order logic.
J. Log. Comput.
Antoine Martina, Alexander Steen
2025 J jnl
TPTP World Infrastructure for Non-classical Logics.
CoRR
Alexander Steen, Geoff Sutcliffe
2024 J jnl
Challenges for Non-Classical Reasoning in Contemporary AI Applications.
Künstliche Intell.
Alexander Steen, Christoph Benzmüller
2024 — ed.
Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024.
PAAR+SC²@IJCAR
Christopher W. Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda
2024 J jnl
Non-Classical Reasoning for Contemporary AI Applications.
Künstliche Intell.
Alexander Steen, Christoph Benzmüller
2024 — conf
TPTP World Infrastructure for Non-classical Logics.
PAAR+SC²@IJCAR
Alexander Steen, Geoff Sutcliffe
2024 J jnl
The New TPTP Format for Interpretations.
CoRR
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine
2024 J jnl
What are Non-classical Logics and Why Do We Need Them? An Extended Interview with Dov Gabbay and Leon van der Torre.
Künstliche Intell.
Alexander Steen, Christoph Benzmüller
2024 J jnl
Who finds the short proof?
Log. J. IGPL
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2023 J jnl
An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic.
CoRR
Antoine Martina, Alexander Steen
2023 Misc conf
Flexible Automation of Quantified Multi-Modal Logics with Interactions.
KI
Melanie Taprogge, Alexander Steen
2023 Misc ed.
KI 2023: Advances in Artificial Intelligence - 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings
KI
Dietmar Seipel, Alexander Steen
2023 B conf
Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic.
LPAR
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown
2023 — conf
Solving Modal Logic Problems by Translation to Higher-Order Logic.
CLAR
Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller
2022 — conf
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper).
PAAR@IJCAR
Alexander Steen
2022 J jnl
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning.
CoRR
Alexander Steen
2022 — conf
Automated Reasoning in Non-classical Logics in the TPTP World.
PAAR@IJCAR
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022 J jnl
Automated Reasoning in Non-classical Logics in the TPTP World.
CoRR
Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller
2022 J jnl
Automation of Boolos' Curious Inference in Isabelle/HOL.
Arch. Formal Proofs
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2022 B conf
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning.
RuleML+RR
Alexander Steen, David Fuenmayor
2022 J jnl
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version).
CoRR
Alexander Steen, David Fuenmayor
2022 — ed.
Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022.
RuleML+RR (Companion)
Dörthe Arndt, Ahmet Soylu, Jan Vanthienen, Evgeny Kharlamov, Alexander Steen
2022 — ed.
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 - 12, 2022.
PAAR
Boris Konev, Claudia Schon, Alexander Steen
2022 J jnl
Solving QMLTP Problems by Translation to Higher-order Logic.
CoRR
Alexander Steen, Geoff Sutcliffe, Tobias Gleißner, Christoph Benzmüller
2022 J jnl
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers.
CoRR
Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe
2021 J jnl
A Formalisation of Abstract Argumentation in Higher-Order Logic.
CoRR
Alexander Steen, David Fuenmayor
2021 J jnl
Extensional Higher-Order Paramodulation in Leo-III.
J. Autom. Reason.
Alexander Steen, Christoph Benzmüller
2021 — conf
Goal-Directed Decision Procedures for Input/Output Logics.
DEON
Alexander Steen
2020 J jnl
Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.
Künstliche Intell.
Alexander Steen
2020 J jnl
On Reductions of Hintikka Sets for Higher-Order Logic.
CoRR
Alexander Steen, Christoph Benzmüller
2020 A conf
The Higher-Order Prover Leo-III.
ECAI
Alexander Steen, Christoph Benzmüller
2020 — conf
Towards an Executable Methodology for the Formalization of Legal Texts.
CLAR
Tomer Libal, Alexander Steen
2019 J jnl
Extensional Higher-Order Paramodulation in Leo-III.
CoRR
Alexander Steen, Christoph Benzmüller
2019 J jnl
Higher-order theorem proving and its applications.
it Inf. Technol.
Alexander Steen
2019 C conf
NAI: The Normative Reasoner.
ICAIL
Tomer Libal, Alexander Steen
2019 — ed.
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019.
RuleML+RR (Supplement)
Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca
2019 — ed.
Selected Student Contributions and Workshop Papers of LuxLogAI 2018
LuxLogAI (Student / Workshop Papers)
Christoph Benzmüller, Xavier Parent, Alexander Steen
2019 Misc conf
The Higher-Order Prover Leo-III (Extended Abstract).
KI
Alexander Steen, Christoph Benzmüller
2019 C conf
The NAI Suite - Drafting and Reasoning over Legal Texts.
JURIX
Tomer Libal, Alexander Steen
2019 J jnl
The NAI Suite - Drafting and Reasoning over Legal Texts.
CoRR
Tomer Libal, Alexander Steen
2018 — —
Extensional paramodulation for higher-order logic and its effective implementation Leo-III.
Alexander Steen
2018 — ed.
GCAI-2018, 4th Global Conference on Artificial Intelligence, Luxembourg, September 18-21, 2018
GCAI
Daniel D. Lee, Alexander Steen, Toby Walsh
2018 — conf
System Demonstration: The Higher-Order Prover Leo-III.
ARQNL@IJCAR
Alexander Steen, Christoph Benzmüller
2018 A conf
The Higher-Order Prover Leo-III.
IJCAR
Alexander Steen, Christoph Benzmüller
2018 J jnl
The Higher-Order Prover Leo-III.
CoRR
Alexander Steen, Christoph Benzmüller
2018 B conf
The MET: The Art of Flexible Reasoning with Modalities.
RuleML+RR
Tobias Gleißner, Alexander Steen
2017 — conf
Capability Discovery for Automated Reasoning Systems.
IWIL@LPAR
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller
2017 — conf
Going Polymorphic - TH1 Reasoning for Leo-III.
IWIL@LPAR
Alexander Steen, Max Wisniewski, Christoph Benzmüller
2017 — conf
Leo-III Version 1.1 (System description).
LPAR (Short Presentations)
Christoph Benzmüller, Alexander Steen, Max Wisniewski
2017 B conf
Theorem Provers For Every Normal Modal Logic.
LPAR
Tobias Gleißner, Alexander Steen, Christoph Benzmüller
2016 — conf
Agent-Based HOL Reasoning.
ICMS
Alexander Steen, Max Wisniewski, Christoph Benzmüller
2016 A conf
Effective Normalization Techniques for HOL.
IJCAR
Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmüller
2016 — conf
Einsatz von Theorembeweisern in der Lehre.
HDI
Alexander Steen, Max Wisniewski, Christoph Benzmüller
2016 — conf
TPTP and Beyond: Representation of Quantified Non-Classical Logics.
ARQNL@IJCAR
Max Wisniewski, Alexander Steen, Christoph Benzmüller
2016 — conf
Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.
PAAR@IJCAR
Tomer Libal, Alexander Steen
2016 — conf
Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.
GCAI
Alexander Steen, Max Wisniewski, Christoph Benzmüller
2015 C conf
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners.
CICM
Max Wisniewski, Alexander Steen, Christoph Benzmüller
2015 J jnl
LeoPARD - A Generic Platform for the Implementation of Higher-Order Reasoners.
CoRR
Max Wisniewski, Alexander Steen, Christoph Benzmüller
2015 B conf
There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners.
LPAR
Alexander Steen, Christoph Benzmüller
2014 — conf
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic.
ARQNL@IJCAR
Max Wisniewski, Alexander Steen