Alexander Steen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On reductions of Hintikka sets for higher-order logic Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2025-12-04	Paper
Who finds the short proof? Logic Journal of the IGPL	2024-11-15	Paper
A formalization of abstract argumentation in higher-order logic Journal Of Logic And Computation	2024-11-12	Paper
Solving modal logic problems by translation to higher-order logic Lecture Notes in Computer Science	2024-01-16	Paper
The MET: The Art of Flexible Reasoning with Modalities Rules and Reasoning	2023-06-28	Paper
Goal-directed decision procedures for input/output logics	2023-02-21	Paper
Towards an Executable Methodology for the Formalization of Legal Texts Lecture Notes in Computer Science	2022-08-30	Paper
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers	2022-08-14	Paper
A flexible approach to argumentation framework analysis using theorem proving	2022-03-03	Paper
Extensional higher-order paramodulation in Leo-III Journal of Automated Reasoning	2021-11-23	Paper
On Reductions of Hintikka Sets for Higher-Order Logic	2020-04-16	Paper
Extensional Higher-Order Paramodulation in Leo-III (available as arXiv preprint)	2019-07-26	Paper
Theorem provers for every normal modal logic EPiC Series in Computing	2019-01-10	Paper
Extensional paramodulation for higher-order logic and its effective implementation Leo-III	2018-11-27	Paper
The higher-order prover Leo-III	2018-10-18	Paper
The higher-order prover Leo-III (available as arXiv preprint)	2018-10-18	Paper
The Higher-Order Prover Leo-III (Extended Version) (available as arXiv preprint)	2018-02-08	Paper
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic Logic and Logical Philosophy	2017-08-11	Paper
Agent-based HOL reasoning Mathematical Software – ICMS 2016	2016-09-28	Paper
Effective normalization techniques for HOL Automated Reasoning	2016-09-05	Paper
There is no best \(\beta \)-normalization strategy for higher-order reasoners Logic for Programming, Artificial Intelligence, and Reasoning	2016-01-12	Paper
\textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners Lecture Notes in Computer Science	2015-11-20	Paper

Research outcomes over time

This page was built for person: Alexander Steen