Alexander Steen

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q5878386	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
https://portal.mardi4nfdi.de/entity/Q5037672	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
https://portal.mardi4nfdi.de/entity/Q4557854	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
LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners	2015-11-20	Paper

This page was built for person: Alexander Steen