University of Bamberg
open search form
You are here

Information Systems and Applied Computer Sciences

Chair for AI Systems Engineering (AISE)

  1.  University of bamberg
  2. Faculties
  3. Information Systems and Applied Computer Sciences
  4. Subject groups
  5. Applied Computer Science
  6. Chair for AI Systems Engineering (AISE)

Chair for AI Systems Engineering

AI Systems Engineering (AISE)

The research activities of the AISE Chair lie at the intersection of artificial intelligence, philosophy, mathematics, computer science, and natural language. Topical research of the team focuses on mechanization of formal reasoning and explanation in computers to develop trustworthy AI systems. A particular interest is the use of higher-order classical logic (HOL) as a universal meta-logic to automate various non-classical logics and use them in current applications, including machine ethics and machine law, metaphysics (e.g., Gödel's ontological argument), mathematical foundations (e.g., category theory), and rational argumentation. 

However, the research activities of the AISE team are broader, and also address, for example, the integration of automated reasoning, machine learning, and agent-based architectures. Prof. Dr. Benzmüller's core competencies are in the area of higher-order classical logic (HOL), whose semantics and proof theory he has contributed to. Together with colleagues and students, he has also developed the Leo theorem provers for HOL.

AISE Science Communication

Benzmüller's appearance in the Terra X episode "Die großen Fragen: Gibt es Gott?" (‘The Big Questions: Does God Exist?’) reached an audience of millions. At the Science Slam of the University of Bamberg on October 27, 2022, Benzmüller presented central hypotheses of the AISE research landscape to a wider audience. He won this Science Slam together with the Bamberg rapper "Bambägga'' from Bamberg. Previously, Benzmüller had also very successfully contested other slams, e.g. in front of the Berlin's Red Town Hall (Rotes Haus) and in the well-known Berlin Club SO36.

Recent publications of the AISE Chair (selection since 2022)

Import aus fis.uni-bamberg.de nicht erfolgreich.
Hilfe unter https://www.uni-bamberg.de/?id=130793.