The annua l meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDed Sys) of the AI Chapter (FB KI) of the German Socie ty of Informatics (Gesellschaft für Informatik). I t is a meeting with a familial atmosphere, where e veryone (not only the German community) interested in deduction can report on their work in a friend ly setting.
\nA special focus of the Deduk tionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Ano ther goal of the meeting is to stimulate networkin g effects and to foster collaborative research pro jects. Deduktionstreffen 2023 is affiliated with t he German KI 2023, which brings together academic and industrial researchers from all areas of AI, p roviding an ideal place for exchanging news and re search results of intelligent system technology.\n
We welcome contributions on all theoretical, experimental and application aspe cts of deduction. Accepted abstracts are first pre sented in short teaser talk and then discussed nex t to a poster (maximal size: A0 portrait) or tool demo. Please submit an extended abstract (max. 2 p ages) via EasyChair. Th ere will be no formal publication of the accepted submissions. The organizers, however, leave open t he possibility to organize post-proceedings, possi bly as joint workshop proceedings with other works hops at the KI 2023.
\n