Alexander Steen

Available identifiers

zbMath Open steen.alexanderMaRDI QIDQ1799071

List of research outcomes

Publication	Date of Publication	Type
Who finds the short proof?	2024-11-15	Paper
A formalization of abstract argumentation in higher-order logic	2024-11-12	Paper
Solving modal logic problems by translation to higher-order logic	2024-01-16	Paper
The MET: The Art of Flexible Reasoning with Modalities	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	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	2021-11-23	Paper
On Reductions of Hintikka Sets for Higher-Order Logic	2020-04-16	Paper
Extensional Higher-Order Paramodulation in Leo-III	2019-07-26	Paper
Theorem provers for every normal modal logic	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 (Extended Version)	2018-02-08	Paper
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic	2017-08-11	Paper
Agent-based HOL reasoning	2016-09-28	Paper
Effective normalization techniques for HOL	2016-09-05	Paper
There is no best \(\beta \)-normalization strategy for higher-order reasoners	2016-01-12	Paper
\textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners	2015-11-20	Paper

Research outcomes over time

This page was built for person: Alexander Steen