Juniorprofessur Informatik

Leiter

Prof. Dr. Alexander Steen

(von 15.08.2024 bis 31.03.2025 in Elternzeit)

Mitglieder

Melanie Taprogge, M.Sc.

Forschungsthemen

  • Symbolische Künstliche Intelligenz
  • Automatisches und interaktives Theorembeweisen, Logikautomatisierung
  • Expressive und nichtklassische Logiken
  • Softwarestandardisierung
  • Rechtsinformatik

Veröffentlichungen

Zeitschriftenartikel
  • Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller, Solving Quantified Modal Logic Problems by Translation to Classical Logics. Journal of Logic and Computation, 2024. (accepted for publication)
  • Alexander Steen, Ableitungen als wesentliche Fähigkeit von KI-Systemen nach KI-VO. Künstliche Intelligenz und Recht (KIR), 01/2024.
  • Alexander Steen, Christoph Benzmüller, Non-Classical Reasoning for Contemporary AI Applications. KI – Künstliche Intelligenz, Vol. 38, pp. 3–5, 2024.
  • Alexander Steen, Christoph Benzmüller, Challenges for Non-Classical Reasoning in Contemporary AI Applications. KI – Künstliche Intelligenz, Vol. 38, pp. 7-16, 2024.
  • Axel Adrian, Michael Keuchen, Max Rapp, Alexander Steen, Auslegung des KI-VO-E zur Evaluation von Symbolischen Deduktionsverfahren der Künstlichen Intelligenz für Juristische Anwendungen. Jusletter IT, 15. Februar 2024.
  • Alexander Steen, Christoph Benzmüller, On Reductions of Hintikka Sets for Higher-Order Logic. Journal of Applied Logics, 2024. (accepted for publication)
  • Antoine Martina, Alexander Steen, An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic. Journal of Logic and Computation, 2024.
  • Alexander Steen, Christoph Benzmüller, What are Non-Classical Logics and why do we need them? An extended interview with Dov Gabbay and Leon van der Torre. KI – Künstliche Intelligenz, Vol. 38, pp. 17-23, 2024.
  • Axel Adrian, Max Rapp, Alexander Steen, Juristische Methodenlehre 3.0: Auf dem Weg zu einer maschinengestützten Methodenwissenschaft. Jusletter IT, 23. Februar 2023.
  • Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe, Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. Logic Journal of the IGPL, 2023.
  • Alexander Steen, David Fuenmayor, A Formalisation of Abstract Argumentation in Higher-Order Logic. Journal of Logic and Computation, 2023.
  • Axel Adrian, Max Rapp and Alexander Steen, Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen Computergestützter Juristischer Entscheidungen Jusletter IT 30. Juni 2022
  • Alexander Steen, Christoph Benzmüller, Extensional Higher-Order Paramodulation in Leo-III. Journal of Automated Reasoning 65, pp. 775-807, 2021.
Konferenzbeiträge (peer-reviewed)
  • Melanie Taprogge, Alexander Steen, Flexible Automation of Quantified Multi-Modal Logics with Interaction. In KI 2023: Advances in Artificial Intelligence. 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings, LNCS, Vol. 14236, Springer, 2023.
  • Alexander Steen, Geoff Sutcliffe, Tobias Gleißner and Christoph Benzmüller, Solving QMLTP Problems by Translation to Higher-order Logic. In Proceedings of the 5th International Conference on Logic and Argumentation (CLAR 2023), LNCS, Vol. 14156, Springer, 2023. Best-Paper Award of CLAR 2023
  • Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown, Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. In 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-24), Proceedings, Ruzica Piskac, Andrei Voronkov (Eds.), EPiC Series in Computing, Vol. 94, pp. 369-385, EasyChair, 2023.
  • Axel Adrian, Max Rapp, Alexander Steen, Juristische Methodenlehre 3.0: Auf dem weg zu einer maschinengestützten Methodenwissenschaft. In Erich Schweighofer, Jakob Zanol, Stefan Eder (Eds.), Rechtsinformatik als Methodenwissenschaft des Rechts. Tagungsband des 26. Internationalen Rechtsinformatik Symposions IRIS 2023, Editions Weblaw 2023, ISBN 978-3-98595-714-9, pp. 81-90, Weblaw, 2023.
  • Alexander Steen, David Fuenmayor, Bridging between LegalRuleML and TPTP for Automated Normative Reasoning. In 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), Proceedings, Anni-Yasmin Turhan, Guido Governatori (Eds.), LNCS, Vol. 13752, pp. 244--260, Springer, 2022.
  • Axel Adrian, Max Rapp, Alexander Steen, Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter juristischer Entscheidung. In In Recht DIGITAL -- 25 Jahre IRIS, Tagungsband des 25. Internationalen Rechtsinformatik Symposiums IRIS 2022, Proceedings of 25th Internationales Rechtsinformatik Symposion (IRIS 2022), Erich Schweighofer, Ahti Saarenpää, Stefan Eder, Jakob Zanol, Felix Schmautzer, Franz Kummer, Philip Hanke (Eds.), pp. 307ff, Editions Weblaw, Bern, 2022.
  • Alexander Steen, Goal-Directed Decision Procedures for Input/Output Logics. In 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/2021, Munich), Fenrong Liu, Alessandra Marra, Paul Portner, and Frederik Van De Putte (Eds.), College Publications, London, 2021.
Bücher/als Herausgeber
  • Chris Brown, Daniela Kaufmann, Cláudia Nalon, Alexander Steen, Martin Suda (Eds.), Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square). CEUR Workshop Proceedings, Vol. 3717, CEUR-WS.org, urn:nbn:de:0074-3717-7, 2024.
  • Dietmar Seipel, Alexander Steen (Eds.), KI 2023: Advances in Artificial Intelligence. 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings. LNCS, Vol. 14236, Springer, 2023.
  • Boris Konev, Claudia Schon, Alexander Steen (Eds.), Proceedings of the Workshop on Practical Aspects of Automated Reasoning (PAAR 2022). CEUR Workshop Proceedings, Vol. 3201, CEUR-WS.org, urn:nbn:de:0074-3201-6, 2022.
  • Dörthe Arndt, Ahmet Soylu, Jan Vanthienen, Evgeny Kharlamov, Alexander Steen (Eds.), Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 (RuleML+RR DC 2022). CEUR Workshop Proceedings, Vol. 3229, CEUR-WS.org, urn:nbn:de:0074-3229-5, 2022.
Software
Weitere Beiträge
  • Alexander Steen, Automatisches Schlussfolgern. In Was wissen wir schon?, Jaja-Verlag, 2024.
  • Alexander Steen, Matteo Farinella, Automatisches Schlussfolgern (Automated Reasoning). Science Comic Poster, presented at the Hamburg Comic Festival, 2024.
  • Alexander Steen, Wahrheit und Logik (Truth and Logic). In Essayreihe: Wahrheit (Essays on truth), Academy of Sciences and Humanities in Hamburg essay series, 2023. [Link]
  • Alexander Steen, Gerechte Künstliche Intelligenz (Essay on equity/fairness in AI). In Majoib Latif (Ed.), Gerechtigkeit im 21. Jahrhundert (Equity in the 21st century), Academy of Sciences and Humanities in Hamburg book series, ISBN 978-3-451-39584-0, Herder Verlag, 2023. [Link]
  • Zsofia Kräussl, Myriam Lapierre, Alexander Steen, Defining Governance for Public-Private Networks: A Computational Logic-based Approach. Research paper pre-print. Available at SSRN.
  • Claudia Nalon, Alexander Steen, Guest Column: It is dark before dawn. Association for Automated Reasoning, Newsletter No. 136, November 2021.
  • Claudia Schon, Alexander Steen (Eds.), Deduktionstreffen 2019, Proceedings. Informal workshop proceedings.
  • Alexander Steen, Guest Column: Challenges in Higher-Order Theorem Proving. Association for Automated Reasoning, Newsletter No. 128, July 2019.

Weitere (insb. ältere) Publikationen sind via dblp oder Google Scholar zu finden.

Lehre

Wintersemester 2024/2025

keine Lehrangebote (Elternzeit)

Vorherige Semester

Ältere Lehrveranstaltungen (an anderen Einrichtungen) von Alexander Steen sind auf seiner privaten Website aufgelistet.

Bachelor- und Masterarbeiten

Ich betreue gerne Abschlussarbeiten rund um die Themen Künstliche Intelligenz, Logik, automatisches Schlussfolgern und theoretische Informatik; die Themen können dabei sowohl theoretisch als auch praktisch (z.B. mit Programmieranteilen) orientiert sein. Schreiben Sie mir bei Interesse einfach eine E-Mail.

Offene Themen

In den folgenden Dokumenten sind offene Bachelor- und Masterarbeitsthemen gesammelt:
Bachelorarbeitsthemen (Stand Juli 2023), Masterarbeitsthemen (TBA).

Nichts passendes gefunden? Diese Liste an potenziellen Themen ist nicht abschließend. Falls sie generelles Interesse an Themen der Logik, symbolischen KI, theoretischen Informatik, ..., haben, hier aber nicht fündig geworden sind, kontaktieren sie mich gerne. Wir können dann nach gemeinsamen Interessen und Schnittgebieten suchen.

Laufende Abschlussarbeiten

  • William K., Reconstruction of higher-order automated proofs with external first-order cooperation (Masterarbeit), Erstgutachter/-betreuer

Abgeschlossene Abschlussarbeiten

  • Lukasz R., Repräsentation und Visualisierung von Kripke-Modellen für Modallogik (Bachelorarbeit), Erstgutachter/Betreuer, 2023
  • Jakob H., Embedding of Term-Modal Logics into Higher-Order Logic (Masterarbeit), Erstgutachter/Betreuer, 2023
  • Patrick S., Analyse von IMU-Daten zur räumlichen Lokalisation von Kollisionen mit einem mobilen Roboter (Masterarbeit), Gutachter, 2023
  • Skipp G., Interaktive Visualisierung von prädikatenlogischen Kripke-Strukturen (Bachelorarbeit), Erstgutachter/-betreuer, 2024
  • Bennet B., Frühe Rezeptionsgeschichte des Intuitionismus im deutschsprachigen Raum (wiss. Abschlussarbeit Staatsexamen), Zweitgutachter/-betreuer, 2024
  • Melanie T., Computer-Assisted Proof Verification for Higher-Order Automated Reasoning within the Dedukti Framework (Masterarbeit, Studiengang Biomathematik M.Sc.), Erstgutachter/-betreuer, 2024
    [Masterarbeit als PDF] [HAL mirror]
  • Jule W., Implementation of Arithmetic in Leo-III (Bachelorarbeit), Erstgutachter/-betreuer, 2024
  • Milene J., Modal logic problems for the TPTP (Bachelorarbeit), Erstgutachter/-betreuer, 2024