Workshops and Tutorials
There are ten events co-located at KI 2019: Five workshops (incl. a doctoral consortium) and five tutorials, covering a wide spectrum of AI research areas. Please see below an overview of these events (sorted alphabetically).
Schedule Overview
Click on the event name to jump to its details.
Monday, September 23 | |||||||
---|---|---|---|---|---|---|---|
11:00 – 12:30 | Deduktionstreffen | AI and Arts | Normative Reasoning | Doctoral Consortium | |||
12:30 – 14:00 | Lunch break and poster session | ||||||
14:00 – 15:30 | Deduktionstreffen | AI and Arts | High Dimensional Computing | Weighted Bipolar Argumentation | Formal and Cognitive Reasoning | Normative Reasoning | Doctoral Consortium |
15:30 – 16:00 | Coffee break and poster session | ||||||
16:00 – 17:30 | Deduktionstreffen | AI and Arts | High Dimensional Computing | Weighted Bipolar Argumentation | Formal and Cognitive Reasoning | Doctoral Consortium |
Tuesday, September 24 | |||||
---|---|---|---|---|---|
09:00 – 10:30 | Critical Military AI | Argumentation Technology | Dynamic StaRAI | ||
10:30 – 11:00 | Coffee break | ||||
11:00 – 12:30 | Critical Military AI | Argumentation Technology | Dynamic StaRAI | ||
12:30 – 14:00 | Lunch break | ||||
14:30 – | KI 2019 Main Conference |
[Top]
Doctoral ConsortiumKristina Yordanova (University of Rostock)
Location: Nora-Platil-Straße 6, Room 0213The doctoral consortium provides an opportunity for PhD students to discuss their research interests and career objectives with established researchers in AI and network with other participants. The doctoral consortium will expose students to different areas of research within AI and help build professional connections within the international community of AI researchers.
Workshops [Top]
Martin Skrodzki (Freie Universität Berlin)
Location: Campus Center, Seminar room 3The participants will give talks or present posters on the usage of AI as a tool by artists or as a means of understanding and reproducing art and artistic styles. A panel discussion with AI scientists, artists, and art historians will investigate the possibilities and opportunities which AI can offer to (the history of) art.
AI and Arts
Alexander Steen (University of Luxembourg), Claudia Schon (Universität Koblenz-Landau)
Location: Arnold-Bode-Straße 2, Room 0402The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone interested in deduction can report on their work in an informal setting.
DeduktionstreffenEmotion and Computing – Current research and future impact
Dirk Reichardt (Duale Hochschule Baden-Württemberg Stuttgart)
The workshop was cancelled.
Christoph Beierle (FernUniversität in Hagen), Matthias Thimm (Universität Koblenz-Landau), Marco Ragni (Universität Freiburg), Frieder Stolzenburg (Hochschule Harz)
Location: Arnold-Bode-Straße 2, room 0401The workshop „Formal and Cognitive Reasoning” addresses recent challenges and novel approaches to uncertain reasoning and belief change in their broad senses, andprovides a forum for research work linking different paradigms of reasoning. It puts a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues.
Formal and Cognitive Reasoning
Jürgen Altmann (TU Dortmund), Lisa Maichle (Universität Augsburg), Dimitri Scheftelowitsch (TU Dortmund)
Location: Arnold-Bode-Straße 2, room 0404AI can be used in armed forces for many areas and is presented as
central for the winning of future wars. Particularly problematic would
be the use for selection and attack of targets n autonomous weapon
systems and for warfare in cyberspace. However, only the selection of
targets based on automatic evaluation of (meta)data can be problematic.With short contributions and group discussion we want to treat questions
such as:
– Arms race in military applicationc – real, in planning and in rhetoric,
– (Un)reliability of target recognition,
– Acceleration of combat events, possibilities and problems of human
control,
– Commonalities with and differences from civil AI applications,
– Use of AI for disarmament and verification?
– Activities of people working in AI and their effects.If you want to contribute please address the organisers.
Critical Examination of Military AI ApplicationsWorkshop on Computational Intelligence
Johannes Fähndrich (TU Berlin), Frank Klawonn (Ostfalia University of Applied Sciences)
The workshop was cancelled.
Tutorials [Top]
Philipp Cimiano (Universität Bielefeld), Benno Stein (Universität Weimar), Henning Wachsmuth (Universität Paderborn)
Location: Arnold-Bode-Straße 8, room 0113/0114In this tutorial we outline the importance of argumentation for artificial intelligence and will consider three important fields within computational argumentation: argumentation mining,
argumentation retrieval and argumentation synthesis. Argumentation mining is concerned with understanding arguments expressed in text. Argument retrieval is concerned with supporting humans in retrieving the most relevant arguments for a given topic. Argument synthesis is concerned with how to support human decision making by machine-generated arguments.
Argumentation Technology for Artificial Intelligence
Tanya Braun, Marcel Gehrke, Ralf Möller (Universität Lübeck)
Location: Nora-Platil-Straße 6, room 0213This tutorial focusses on dynamic modelling and reasoning over time using statistical relational AI (StarAI). Dynamic StarAI enables query answering in a scalable and stable way even when domain sizes escalade.
Dynamic StaRAI
Peer Neubert, Stefan Schubert, Kenny Schlegel (TU Chemnitz)
Location: Arnold-Bode-Straße 8, room 0113/0114This tutorial is about solving computational problems using calculations in vectorspaces with thousands of dimensions. We will discuss theoretical foundations and applications, e.g., analogy mapping or how to recognize places from images of a 2800 km trip through Norway across different seasons.
High dimensional computing – the upside of the curse of dimensionality
Nico Potyka (Universität Osnabrück)
Location: Arnold-Bode-Straße 2, room 0408Weighted bipolar argumentation frameworks are a computationally efficient tool to solve problems in areas like decision support and social media analysis. This tutorial will give a high-level introduction to some recent frameworks and the corresponding computational problems and algorithms.
Modeling and Solving Weighted Bipolar Argumentation Problems
Xavier Parent (University of Luxembourg)
Location: Nora-Platil-Straße 9, room 0402This is a tutorial on deontic logic, devised to model normative reasoning (viz. reasoning about norms). This tutorial has two parts. In part 1, I will give a general introduction to the topic, and explain what problems deontic logicians have been mostly concerned with. In part2, I will focus on one of the frameworks that have dominated the landscape, the preference-based dyadic deontic logic due to Hansson/Lewis. I will discuss its meta-theory, mainly its axiomatization.
Normative Reasoning Tutorial