Die Lehrveranstaltungen für das Sommersemester 2018 sind ab jetzt online.

zur Übersicht der Lehrveranstaltungen

The article Properties of Skeptical C-Inference for Conditional Knowledge Bases and its Realization as a Constraint Satisfaction Problem of
Christoph Beierle, Christian Eichhorn, Gabriele Kern-Isberner und Steven Kutsch has been accepted for the journal Annals of Mathematics and Artificial Intelligence (AMAI).

Die Arbeitsgruppe LogiDAC des Lehrstuhls Informatik 1 sucht ab dem 01.04.2018 eine Studentische Hilfskraft (SHK/WHF) im Umfang von bis zu 17 Std./Woche.

zur Stellenausschreibung

Für das Projekt Logik Digital wird Thomas Zeume mit einem Fellowship für Innovationen in der Digitalen Hochschullehre des Landes Nordrhein-Westfalen und des Stifterverbandes gefördert. Ob in Datenbankanfragesprachen, in der Verifikation oder der künstlichen Intelligenz - logische Formalismen sind fester Bestandteil des Berufsalltags von Informatikerinnen und Informatikern. Im Rahmen des Projektes Logik Digital wird ein webbasiertes, interaktives System für die Unterstützung der Logik-Ausbildung von Informatikstudierenden entwickelt.
Zeume
 
Weiterführende Informationen:
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
released.
 
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
Agents:
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)

Link:
http://www.cet.tu-dortmund.de/cms/de/Qualifizierung/Awards/Award-Junge-Spitzenforscher/index.html

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: https://aaai.org/ocs/index.php/FLAIRS/FLAIRS17/paper/view/15510/15038

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
Media.

Link to paper: http://link.springer.com/article/10.1007/s11023-016-9414-1

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.

moraga_klein.jpg

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
2016).

  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

    @inproceedings{ApeldoornKernIsberner2015b,
    	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 = "http://easychair.org/publications/download/When_Should_Learning_Agents_Switch_to_Explicit_Knowledge"
    }
    

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).