The paper "Measuring Strategic Depth in Games Using Hierarchical Knowledge
Bases" by Daan Apeldoorn and Vanessa Volz and the Paper "Comparing Answer
Set Programming and Hierarchical Knowledge Bases Regarding
Comprehensibility and Reasoning Efficiency in the Context of Agents" by
Corinna Krüger, Daan Apeldoorn and Gabriele Kern-Isberner have been
Links to the papers:
Measuring Strategic Depth in Games Using Hierarchical Knowledge Bases:
Comparing Answer Set Programming and Hierarchical Knowledge Bases
Regarding Comprehensibility and Reasoning Efficiency in the Context of
The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)
accepted the article "Rational inference patterns based on conditional
logic" of Christian Eichhorn, Gabriele Kern-Isberner, and Marco Ragni
(University of Freiburg) for presentation.

Daan Apeldoorn achieved the 2nd place of the Award Forum Young Excellence
Researcher with the topic "A Modelling and Simulation System for Logistics
Scenarios Based on Multiagent Models".
The price was awarded on the 20th of November by the Center for
Entrepreneurship & Transfer in cooperation with the Foundation for
Industrial Research.

Award DaanApeldoorn klein
(Photo: Waldemar Wagner)


Prof. Dr. Gabriele Kern-Isberner of LS1 organizes this year's  German
Conference on Artificial Intelligence (KI2017).
KI 2017 is the 40th edition of this conference organized in cooperation
with the Fachbereich KI of the Gesellschaft der Informatik and will take
place at TU Dortmund, September 25th to 29th.
KI traditionally brings together academic and industrial researchers
from all areas of AI, providing an ideal place for exchanging news and
research results of intelligent system technology.
For the 40th anniversary of the conference there will be a panel
discussion regarding the history of AI.

Die Lehrveranstaltungen für das Wintersemester 2017/2018 sind ab jetzt online.

Lehrveranstaltungen WiSe 17/18

Bei den vom 20.Mai bis 27.Mai 2017 stattfindenden Deutschen
Meisterschaften im Sportkegeln gewann Tanja Bock die Goldmedaille im
Tandem Damen mit ihrer Schwester Maike.
Nach 120 spannenden Würfen entschied gerade einmal 1 Holz Vorsprung um
die Meisterschaft.
Nur eine Woche später startete die 13. Weltmeisterschaft im Sportkegeln
in Oberthal, Saarland. Auch hierbei durfte Tanja mit ihrer Schwester im
Tandem Damen antreten und gewann die Goldmedaille. Zusätzlich holte sie
noch die Goldmedaille in der Disziplinen Mannschaft und die
Silbermedaille im Team Doppel Damen.
Der Lehrstuhl gratuliert herzlich zum mehrfachen sportlichen Erfolg.
image35D4 8018

The paper "Towards an Understanding of What is Learned: Extracting
Multi-Abstraction-Level Knowledge from Learning Agents" by Daan Apeldoorn
and Gabriele Kern-Isberner has been published in the "Proceedings of the
Thirtieth International Florida Artificial Intelligence Research Society
Conference" (FLAIRS-30).

Link to paper:

The article "Formal Nonmonotonic Theories and Properties of Human
Defeasible Reasoning" of Marco Ragni, Christian Eichhorn, Tanja Bock,
Gabriele Kern-Isberner and Alice Ping Ping Tse has appeared in the
journal Minds and Machines (online first) of Springer Science+Business

Link to paper:

During his time at the department for computer science, Prof. Claudio Moraga has witnessed the exciting development of the University of Dortmund with then about 3,000 students to today’s Technical University of Dortmund with more than 34,000 students. That became apparent on the festive colloquium on the occasion of his 80th birthday, which was held by the department for computer science on Friday, 4th November.


From left: Hans Decker (Alumni Association), Prof. Gernot Fink (Dekan),

Prof. Claudio Moraga,Prof. Insa Melle (Prorektorin Studium),

Dr. Enno Aufderheide (Alexander von Humboldt-foundation).

Foto: Nikolas Golsch

The colloquium started with a scientific workshop covering various topics that Prof. Claudio Moraga addressed over the years of his academic career. Intelligent systems were a central point of his scientific work. Prof. Insa Melle, Prorektorin Studium of the Technical University of Dortmund, said that with this topic he contributed significantly to the development of the university’s department of computer science. Her words of greeting were followed by congratulations of Prof. Gernot Fink, Dean of the department of computer science, Dr. Enno Aufderheide, secretary general of the Alexander von Humboldt-foundation, Hans Decker from the Alumni association and Prof. Thomas Schwentick.

Research Fellowship led to Dortmund

After studying at the Technical University Federico Santa Maria in Santiago de Chile, Claudio Moraga came to the University of Dortmund in 1976 by a research fellowship of the Alexander von Humboldt-foundation. Subsequent to his work as a research assistent, he became professor at the department of computer science in 1986. Despite his retirement in 2002, he is still actively participating in the scientific community. Lately, he has been appointed to the management committee of an initiative for european collaboration in scientific and technical research.

The paper "When Should Learning Agents Switch to Explicit Knowledge?" by
Daan Apeldoorn and Gabriele Kern-Isberner has been published in the
Proceedings on the 2nd Global Conference on Artificial Intelligence (GCAI

  1. Daan Apeldoorn and Gabriele Kern-Isberner.
    When Should Learning Agents Switch to Explicit Knowledge?.
    In Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (eds.). GCAI 2016. 2nd Global Conference on Artificial Intelligence 41. 2016, 174–186.
    URL BibTeX

    	author = "Apeldoorn, Daan and Kern-Isberner, Gabriele",
    	title = "When Should Learning Agents Switch to Explicit Knowledge?",
    	booktitle = "GCAI 2016. 2nd Global Conference on Artificial Intelligence",
    	pages = "174--186",
    	year = 2016,
    	editor = {Benzm\"uller, Christoph and Sutcliffe, Geoff and Rojas, Raul},
    	volume = 41,
    	series = "EPiC Series in Computing",
    	publisher = "EasyChair Publications",
    	url = ""

The paper "When Should Learning Agents Switch to Explicit Knowledge?" by Daan Apeldoorn and Gabriele Kern-Isberner was accepted at the Global
Conference on Artificial Intelligence (GCAI 2016).

Vier Mitglieder der Arbeitsgruppe LogiDAC nehmen in dieser Woche an der Konferenz Highlights of Logic, Games and Automata teil. Gaetano Geck, Martin Schuster und Nils Vortmeier beteiligen sich durch Vorträge, Thomas Schwentick leitete das Programmkomitee. 


Für seine Dissertation Small Dynamic Complexity Classes wurde Dr. Thomas
Zeume mit dem E.W. Beth Dissertationspreis 2016 ausgezeichnet. Der E.W. Beth Dissertationspreis wird jährlich von der Association for Logic, Language and Information vergeben ( Weitere Information zu diesem Preis finden sich unter

Die Auszeichnung für 2016 wurde am 23. August bei der European Summer School in Logic, Language and Information in Bozen überreicht.

In der ausgezeichneten Dissertation untersuchte Dr. Zeume einerseits die Struktur kleiner dynamischer Komplexitätsklassen sowie deren Beziehung zu klassischen, statischen Komplexitätsklassen. Andererseits entwickelte er neue Methoden, die die Grenzen der Ausdrucksstärke von Logiken in dynamischen Szenarien aufzeigen. Betreut wurde Dr. Zeume in seiner Promotionszeit von
Prof. Thomas Schwentick.


The article " Using Answer Set Programming in an Order-picking System with Cellular Transport Vehicles " of Steffen Schieweck, Gabriele Kern-Isberner and Michael ten Hompel has been accepted for the 2016 IEEE International Conference on Industrial Engineering and Engineering Management.

Prof. Dr. Gabriele Kern-Isberner will be active in research and teaching from 19.9.-7.10.2016 at the Macquarie University, Sydney, Australia as a visiting professor.