TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Research Meeting 21353

Applications of Formal Sciences: Explainable AI

( Sep 01 – Sep 03, 2021 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/21353

Organizers
  • 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)

Contact

Description

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.

Copyright Karl Erich Wolff

Related Seminars
  • Research Meeting 23013: Concept Lattice Based Topological Data Analysis and Reasoning (2023-01-03 - 2023-01-05) (Details)

Classification
  • AI Artificial Intelligence
  • DB Data Bases
  • DS Data Structures and Algorithms