[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 :
Computer science
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Proceedings of the Deduktionstreffen 2019
Publication date :
23 September 2019
Number of pages :
28
Event name :
Deduktionstreffen 2019
Event organizer :
Fachgruppe Deduktionssteme, Fachbereich KI, Gesellschaft für Informatik