Abschnittsübersicht

  • Meetings:  Wednesdays, 17:00-19:00

    Seminar description

    This seminar covers selected topics from across the spectrum of interests of the AISE research group. These research activities lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language and cover topics such as:

        • mechanisation of normative reasoning and explanation in computers to develop trusted AI systems
        • hybrid AI systems: automated reasoning, machine learning and agent-based architectures
        • AI & ethics, AI & law 
        • rational argumentation
        • universal logical reasoning 
        • logico-pluralistic knowledge representation and reasoning methodologis and infrastructures
        • applications: e.g. in computational metaphysics (e.g., Gödel's ontological argument), machine ethics, mathematical foundations (e.g., category theory)
        • automated theorem proving (e.g. Leo theorem provers) and model finding 
        • interactive/automated theorem proving in research and education

    Trained competencies 

    Participating students will be introduced to current research questions and papers from the AISE group's spectrum of interest. Students will explore, prepare and present a selected topic and acquire in depth knowledge about the involved research questions and challenges. Ideally, this work will lead to a subsequent topic for a thesis project. Presentations of research topics related to a running thesis project are also welcome. Students will learn to assess and review research papers and to prepare and present own papers.