Alexander Steen
Scholar

Alexander Steen

Google Scholar ID: SzimD_gAAAAJ
University of Greifswald
Artificial intelligenceAutomated Theorem ProvingHigher-Order Logicnon-classical logics
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
608
 
H-index
13
 
i10-index
20
 
Publications
20
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
2 items
A Reduction of Input/Output Logics to SAT
2025
Cited
0
TPTP World Infrastructure for Non-classical Logics
2025
Cited
0
Resume (English only)
Co-authors
9 total
Christoph Benzmüller
Christoph Benzmüller
Professor for AI Systems Engineering, University of Bamberg
Geoff Sutcliffe
Geoff Sutcliffe
Department of Computer Science, University of Miami
Tomer Libal
Tomer Libal
University of Luxembourg
Toby Walsh
Toby Walsh
Professor, UNSW and CSIRO Data61
Xavier Parent
Xavier Parent
Technological University of Vienna
Co-author 6
Co-author 6
Guido Governatori
Guido Governatori
Central Queensland University
Co-author 8
Co-author 8