Alexander Steen

zbMath Opensteen.alexanderMaRDI QIDQ1799071

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
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	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 (Extended Version)	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