PhDs in Logic XIII - 2022
Description: Dr. Alexander Steen is a researcher in theoretical computer science and AI at the University of Greifswald, Germany.
artificial intelligence (3611) computer science (1231) researcher (460) freie universität berlin (12) theorem proving (6) alexander steen (1) logics and ai (1) higher-order logic (1) leo-iii (1) university of luxembourg (1)
April 2023 : Forthcoming special issue of the journal KI – Künstliche Intelligenz on Non-Classical Reasoning for Contemporary AI Applications , feel free to submit! February 2023 : I'll be serving as jury member for the AI newcomer award of the KI Camp . Make sure to vote ! January 2023 : I will be heading, together with Dietmar Seipel (U Würzburg) , the 46th German Conference on Artificial Intelligence (KI-2023) co-located with INFORMATIK 2023 in Berlin, Germany. December 2022 : My essay on fairness/equity
June 4-9, 2024 : 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-24) , Manizales, Columbia. (contributor) July 1-4, 2023 : 29th international Conference on Automated Deduction (CADE-29) , Rome, Italy. (PC member) September 10-12, 2023 : 5th International Conference on Logic and Argumentation (CLAR 2023) , Hangzhou, China. (PC member) September 26, 2023 : Deduktionstreffen 2023 , co-located with KI 2023 in Berlin, Germany. (PC member) September 26-29, 2023
This is the personal homepage of Alexander Steen. I am a Juniorprofessor (this is roughly equivalent to an assistant professor position) at the Institute of Mathematics and Computer Science of the University of Greifswald. I'm working on computational logic, automated reasoning and theoretical computer science. I'm the lead developer of the automated theorem prover Leo-III , a reasoning system for classical higher-order logic (HOL) and further expressive, non-classical logics (including higher-order modal l
PhDs in Logic XIII - 2022