[en] The annual meeting Deduktionstreffen is the prime activity of the Special Interest Group on Deduction Systems (FG DedSys) of the AI Section of the German Society for Informatics (GI-FBKI). It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
Schon, Claudia; Universität Koblenz-Landau > Institute for Web Science and Technologies
STEEN, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Proceedings of the Deduktionstreffen 2019
Date de publication/diffusion :
23 septembre 2019
Nombre de pages :
28
Nom de la manifestation :
Deduktionstreffen 2019
Organisateur de la manifestation :
Fachgruppe Deduktionssteme, Fachbereich KI, Gesellschaft für Informatik
