September 1 – 3 , 2021, Event 21353

Applications of Formal Sciences: Explainable AI


Bernhard Ganter (TU Dresden, DE)
Tom Hanika (Universität Kassel, DE)
Anatol Reibold (von Vicht GmbH, DE)
Karl Erich Wolff (Ernst-Schröder-Zentrum Darmstadt, DE)

For support, please contact

Heike Clemens


Based on the tradition of human centered and transdisciplinary sciences as propagated by Jean Piaget (1896 - 1980) and Rudolf Wille (1939 - 2017) this project meeting aims to support Explainable Artificial Intelligence (XAI) by ideas and methods of formal sciences as used in Description Logics, Formal Concept Analysis, Machine Learning, Optimization and Ontologies. These ideas will be developed by young researchers in cooperation with experienced scientists which had been working for a long time together with Jean Piaget or Rudolf Wille. The central purpose of this project is human understanding as well as meaningful applications of Artificial Intelligence in practice.

Motivation text license
  Creative Commons BY 3.0 DE
  Karl Erich Wolff


  • AI Artificial Intelligence
  • DB Data Bases
  • DS Data Structures And Algorithms

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.