| 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 |
Solving quantified modal logic problems by translation to classical logics
Journal of Logic and Computation | 2025-10-29 | Paper |
An encoding of abstract dialectical frameworks into higher-order logic
Journal of Logic and Computation | 2025-10-15 | Paper |
| Representation, verification, and visualization of Tarskian interpretations for typed first-order logic | 2025-02-19 | 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 |
