Institute of Artificial Intelligence

Joshua Hirschbrunn

Since April 2023, I am a research associate and PhD student at the Institute of Artificial Intelligence. I am working on languages and methods for automated reasoning, in particular on extensions of description logics. Before that, from 2017 to 2023, I studied computer science at Ulm University with a focus on machine learning and symbolic artificial intelligence.

Further Information

  • Automated Reasoning
  • Description Logics

  • Summer Semester 23: Lecture “Objektorientierte Programmierung” (Object-Oriented Programming)
  • Winter Semester 23/24:
    • Lecture “Introduction to Computer Science (for Non-Computer Scientists)”
    • Lecture “Knowledge-Based Artificial Intelligence”
    • Seminar “Advances in Artificial Intelligence”
  • Summer Semester 24: Lecture “Logik” (Logic)
  • Winter Semester 24/25:
    • Lecture “Introduction to Computer Science (for Non-Computer Scientists)”
    • Lecture “Knowledge-Based Artificial Intelligence”
    • Seminar “Advances in Artificial Intelligence”
  • Summer Semester 25:
    • Lecture “Introduction to Computer Science (for Non-Computer Scientists)”
    • Lecture “Logik” (Logic)
  • Winter Semester 25/26:
    • Lecture “Introduction to Computer Science (for Non-Computer Scientists)”
    • Lecture “Knowledge-Based Artificial Intelligence”
  • Summer Semester 26:
    • Lecture “Programming Concepts for Cognitive Systems”
    • Lecture “Logik” (Logic)

  • Joshua Hirschbrunn und Yevgeny Kazakov. 2026. „Extending Description Logics with Generic Concepts - the Case of Terminologies“. In Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026, herausgegeben von Sven Koenig, Chad Jenkins, und Matthew E. Taylor. AAAI Press. https://doi.org/10.1609/AAAI.V40I23.38988.
  • Joshua Hirschbrunn und Yevgeny Kazakov. 2024. „Extending Description Logics with Generic Concepts - the Tale of Two Semantics“. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, herausgegeben von Pierre Marquis, Magdalena Ortiz, und Maurice Pagnucco. https://doi.org/10.24963/KR.2024/43.
  • Joshua Hirschbrunn und Yevgeny Kazakov. 2023. „Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts“. In Proceedings of the 36th International Workshop on Description Logics (DL 2023), herausgegeben von Oliver Kutz, Carsten Lutz, und Ana Ozaki, Bd. 3515. CEUR Workshop Proceedings. CEUR. https://ceur-ws.org/Vol-3515/#paper-13.