KI2023 takes place in Berlin, Germany, September 26–29, 2023. It is the 46th edition of the German conference on Artificial Intelligence (abbreviated KI for “Künstliche Intelligenz”) organized in cooperation with the Fachbereich Künstliche Intelligenz der Gesellschaft für Informatik (GI-SIG AI). KI is one of the major European AI conferences and traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results on theory and applications.

Doctoral Concortium Format

There will be a PhD workshop with oral presentations during the KI conference, providing an opportunity for obtaining feedback on PhD projects. Doctoral students may also participate in a mentoring program that will connect students with experienced researchers in their field. Extended abstracts of the PhD workshop will be published with the GI-DL (GI Digital Library).

Schedule

Program Committee
Frieder Stolzenburg, Harz University of Applied Sciences  
Korinna Bade, Anhalt University of Applied Science
Tobias Huber, University of Augsburg
Ute Schmid, University of Bamberg
Dietmar Seipel, Univ. Wuerzburg
Diedrich Wolter, Univ. Bamberg
Özgür Lütfü Özcep, University of Lübeck
Marcel Waleska, University of Würzburg
Matthias Thimm, FernUniversität in Hagen
Kerstin Bach, Norwegian University of Science and Technology

Contact

Should you have any questions regarding the doctoral consortium at KI2023, please do not hesitate to contact Prof. Dr. Frieder Stolzenburg (fstolzenburg@hs-harz.de)

Organizers: Sylvia Melzer, Stefan Thiemann, Hagen Peukert

Inferring ancient cultural traditions from written artifacts, AI offers many opportunities to assist humanities scholars in their work. Both editorial projects and computer-aided evaluations such as text and data mining or linguistic analyses require the collection, storage, and linking of data in order to quickly identify core information of the written artefacts. Time-consuming procedures, such as the creation of dictionaries or the use of bibliographies through the automatic linking of data, enables the creation of extensive data sets and generation of additional information. Thus, AI supports humanities scholars to focus them more on their core task..

The workshop gathers AI researchers and interested humanities scholars.

Further information: https://www.csmc.uni-hamburg.de/ki2023-chai

Organizers: Theresa Züger, Hadi Asghari

The number of AI projects aiming to serve the common good or a public interest is increasing rapidly. But often the information on these projects, their initiators, funders, methods and objectives is not transparent, hindering the goal of serving the public. Many AI applications touch upon sensitive areas with public wellbeing at stake, such as public health, mobility, and justice systems. In this interdisciplinary workshop we will connect public interest theory to the debate about AI projects and foster exchange amongst existing projects that use AI to serve the public interest to explore common challenges, methods, and standards.

Further information: https://www.hiig.de/events/ki-2023-ai-systems-for-the-public-interest/

Organizers: Claudia Schon, Florian Rabe

Automated Reasoning is a core field of artificial intelligence research with a focus on the development of models, procedures and software for the computer-assisted automation of logical reasoning. While automated reasoning is a quite broad and diverse field including many different types of formal systems, automated deduction specializes on the problem of correctly and efficiently deriving deductive conclusions from given assumptions, usually formulated in a formal logical language. Applications include, but are not limited to, automated theorem proving, software verification and synthesis, term rewrite systems, unification theory, planning and logic programming. The annual Workshop Deduktionstreffen (German, roughly translates to “deduction meeting”) is the prime activity of the Interest Group on Deduction Systems1 (Fachgruppe Deduktionssysteme) of the AI Chapter (Fachbereich KI) of the German Society of Informatics (Gesellschaft f¨ur Informatik, GI). Deduktionstreffen is a meeting with an informal and friendly atmosphere, where everyone (not only the German community) interested in deduction systems and related topics can report on their work in an accessible setting. A special focus of the workshop is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience, and to receive constructive feedback from more experienced participants. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects.

Further information: https://fg-dedsys.gi.de/veranstaltung/deduktionstreffen-2023 

Organizers: Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg

In real-life AI applications, information is usually pervaded by uncertainty and subject to change, and thus requires non-classical systems. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning, possibly in combination with machine learning methods. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. A special focus is on papers that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal and experimental or heuristic issues. We welcome papers on the following and any related topics: action and change; agents and multi-agent systems; analogical reasoning; argumentation theories; belief revision and belief update; cognitive modeling and empirical data; commonsense and defeasible reasoning; computational thinking; decision theory and preferences; inductive reasoning and cognition; knowledge representation in theory and practice; learning and knowledge discovery in data; machine learning and automated reasoning; nonmonotonic and uncertain reasoning; ontologies and description logics; probabilistic approaches of reasoning; syllogistic reasoning.

Further information: https://www.fernuni-hagen.de/wbs/fcr2023.html 

Fällt dieses Jahr leider aus

Organizers: Jürgen Sauer, Stefan Edelkamp

With the actual hype on on AI and especially machine learning in nearly every discipline our topics in Planning, Scheduling, Design and Configuration are still gaining interest. Several different application areas are involved. So we are interested in presenting and discussing actual developments in the area of e.g. "Practical applications of configuration, planning or scheduling systems"; "AI Planning, Scheduling and Design in education"; "Architectures for planning, scheduling or configuration systems" as well as "Knowledge representation and problem-solving techniques for planning, scheduling and design".

Further information: http://www.puk-workshop.de

Fällt dieses Jahr leider aus

Organizers: Christoph Benzmüller, Janina Hoppstädter und André Meyer-Vitali

We celebrate the 5th birthday of the CLAIRE network with a review of past activities and with an outlook in trends for the future of AI. Trusted AI will pave the way to reliable and responsible applications in critical domains. We will consider aspects of trust in Large Models, both for languages (ChatGPT) and physics (ActGPT) and outline the principles for building trusted AI systems.

The new Centre for Trusted AI (CERTAIN), currently being set up in Saarbrücken, will address these challenges and link them to many similar initiatives in CLAIRE and elsewhere.

Wir haben uns Ihr Feedback aus dem letzten Jahr zu Herzen genommen und freuen uns sehr Ihnen unsere neue Kaffepause vorzustellen!

Mit einem super Blick auf die Spree, frischem Kaffee in der Hand und einer Auswahl an ausgewählten Snacks starten Sie optimal in den Tag!

Sie finden unsere Kaffeepause im DIN-Café in Raum G 007 & G008 direkt neben dem Ausstellungsbereich, wo unsere Partner sich sehr über Ihrem Besuch freuen. 

Organizers: Sibylle Schwarz, Mario Wenzel

The WLP provides a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. Contributions are welcome on all theoretical, experimental, and application aspects of logic, funtional, and constraint logic programming

Further information: https://dbs.informatik.uni-halle.de/wlp2023/ 

Nehmen Sie sich eine Pause vom anstrengenden Tag und gönnen Sie sich ein leckeres Mittagessen!

Das Mittagessen wird über Essengutscheine organisiert, die Sie während der Registrierung erhalten. Die Öffnungszeiten der Mensa zum MIttagstisch sind: 11:00-14:30 Uhr - unsere offizielle Mittagspause geht von 12:30-14:00 Uhr.

1 Gutschein gilt für 1 Salatschale, 1 Hauptgang mit Beilagen, 1 Dessertschale und 1 Getränk nach Wahl

Informieren Sie sich gerne hier über die tagesaktuelle Auswahl an Speisen. Die Mensa liegt zentral im G-Gebäude.

Dank der zentralen Lage und dem schnellen Service bleibt Ihnen außerdem mehr Zeit, um einmal bei unseren Ausstellern und Partnern vorbeizuschauen, sich für ein Meeting in die Networking Area zurück zu ziehen oder einfach einen Kaffee in der Sonne zu genießen. 

Organizers: Magnus Bender, Marcel Gehrke, Tanya Braun

In recent years, large language models have greatly improved the state of the art for text understanding. However, large language models are often computationally expensive and work best in areas with huge amounts of training data. Unfortunately, there are areas where we do not have a lot of data available. For example, in digital humanities, we have researchers investigating poems that are written on palm leafs in old Tamil. They only have a few hundred or maybe a thousand poems (documents). In such a setting, using a general pre-trained large language model (there are no for old Tamil) and further training the model by subsampling from the corpus comes to its limits, given the limited data available. Nonetheless, a support in text understanding or information retrieval also has great value for these researchers. Therefore, in this tutorial, we give an overview of how different tasks can be performed with only minimal data available. We will use examples from the field of digital humanties to illustrate particular challenges.

Further information: https://www.uni-muenster.de/Informatik.AGBraun/en/research/tutorials/ki-23.html

Der Tag war lang, das Mittagessen liegt noch etwas schwer im Magen und überhaupt fällt das Denken gerade etwas schwer. Wer kennt es nicht - das Loch am Nachmittag...

Füllen Sie Ihre Akkus noch einmal auf, vertreten Sie sich kurz die Beine und nehmen sich auf dem Rückweg direkt noch einen Kaffee für den Endspurt mit. 

Unser DIN-Café ist für Sie geöffnet, kommen Sie gerne vorbei.

Mitgliederversammlung der GI | Get-together | Einlass nur für GI-Mitglieder

Wie jedes Jahr lädt die GI alle Mitglieder zur Ordentlichen Mitgliederversammlung. Dabei berichten wir über die vergangenen zwölf Monate, stellen Ihnen unsere Liste für die Präsidiumswahl vor und beantworten gerne Ihre Fragen. Details der Sitzung finden Sie im Mitgliederbereich unter https://meine.gi.de.

Die Versammlung findet in den Räumlichkeiten des DE:HIVE in der Slabystraße 12, 12459 Berlin, statt. Wir freuen uns sehr, dass der Studiengang Game Design der HTW uns die Location zur Verfügung stellt!

Vom Campus Wilheminenhof der HTW ist sie in fünf bis zehn Minuten zu Fuß erreichbar. Parkmöglichkeiten gibt es im umliegenden Straßengebiet, nähere Informationen zu Parkplätzen finden Sie bei uns unter ANREISE.

⟩ HIER ROUTE PLANEN ⟨

Bitte beachten: Zu dieser Veranstaltung ist der Einlass nur mit einer gültigen GI-Mitgliedschaft möglich.

Das steht auf dem Programm: 
Änderungen vorbehalten

• 15:30-16:00 Uhr: Einlass und Akkreditierung
• 16:00-18:00 Uhr: Mitgliederversammlung
• 18:00-21:00 Uhr: Get-together & Präsentation studentischer Projekte

Zum Get-together gibt es eine bunte Auswahl an vegetarischen und veganen Sauerteigstullen von „Stulle mit Brot“ sowie ausreichend Getränke.

Als kleines Highlight des Abends präsentieren Studierende ausgewählte Projekte aus dem Game-Design-Studiengang der HTW und geben Einblicke in kreative und innovative Ideen aus der Gaming-Praxi Wie jedes Jahr lädt die GI alle Mitglieder zur Ordentlichen Mitgliederversammlung. Dabei berichten wir über die vergangenen zwölf Monate, stellen Ihnen unsere Liste für die Präsidiumswahl vor und beantworten gerne Ihre Fragen. Details der Sitzung finden Sie im Mitgliederbereich.

Mitgliederversammlung der GI | Get-together | Einlass nur für GI-Mitglieder

Wie jedes Jahr lädt die GI alle Mitglieder zur Ordentlichen Mitgliederversammlung. Dabei berichten wir über die vergangenen zwölf Monate, stellen Ihnen unsere Liste für die Präsidiumswahl vor und beantworten gerne Ihre Fragen. Details der Sitzung finden Sie im Mitgliederbereich unter https://meine.gi.de.

Die Versammlung findet in den Räumlichkeiten des DE:HIVE in der Slabystraße 12, 12459 Berlin, statt. Wir freuen uns sehr, dass der Studiengang Game Design der HTW uns die Location zur Verfügung stellt!

Vom Campus Wilheminenhof der HTW ist sie in fünf bis zehn Minuten zu Fuß erreichbar. Parkmöglichkeiten gibt es im umliegenden Straßengebiet, nähere Informationen zu Parkplätzen finden Sie bei uns unter ANREISE.

⟩ HIER ROUTE PLANEN ⟨

Bitte beachten: Zu dieser Veranstaltung ist der Einlass nur mit einer gültigen GI-Mitgliedschaft möglich.

Das steht auf dem Programm: 
Änderungen vorbehalten

• 15:30-16:00 Uhr: Einlass und Akkreditierung
• 16:00-18:00 Uhr: Mitgliederversammlung
• 18:00-21:00 Uhr: Get-together & Präsentation studentischer Projekte

Zum Get-together gibt es eine bunte Auswahl an vegetarischen und veganen Sauerteigstullen von „Stulle mit Brot“ sowie ausreichend Getränke.

Als kleines Highlight des Abends präsentieren Studierende ausgewählte Projekte aus dem Game-Design-Studiengang der HTW und geben Einblicke in kreative und innovative Ideen aus der Gaming-Praxi Wie jedes Jahr lädt die GI alle Mitglieder zur Ordentlichen Mitgliederversammlung. Dabei berichten wir über die vergangenen zwölf Monate, stellen Ihnen unsere Liste für die Präsidiumswahl vor und beantworten gerne Ihre Fragen. Details der Sitzung finden Sie im Mitgliederbereich.