Scholar
Alexander Steen
Google Scholar ID: SzimD_gAAAAJ
University of Greifswald
Artificial intelligence
Automated Theorem Proving
Higher-Order Logic
non-classical logics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
608
H-index
13
i10-index
20
Publications
20
Co-authors
9
list available
Publications
3 items
Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic
2026
Cited
0
A Reduction of Input/Output Logics to SAT
2025
Cited
0
TPTP World Infrastructure for Non-classical Logics
2025
Cited
0
Co-authors
6 total
Christoph Benzmüller
Professor for AI Systems Engineering, University of Bamberg
Geoff Sutcliffe
Department of Computer Science, University of Miami
Tomer Libal
University of Luxembourg
Toby Walsh
Professor, UNSW and CSIRO Data61
Xavier Parent
Technological University of Vienna
Guido Governatori
Central Queensland University
