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.

 Die Arbeitsgruppe Information Engineering des Lehrstuhls Informatik 1 sucht ab dem 01.11.2016 eine studentische Hilfskraft (SHK) (im Umfang von bis zu 17 Std. / Woche):  Stellenausschreibung

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

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. 

homepage-foto-2.jpg

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 (http://www.folli.info/). Weitere Information zu diesem Preis finden sich unter en.wikipedia.org/wiki/E._W._Beth_Dissertation_Prize.

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.

IMG_20160823_155643136.jpg

 Die Arbeitsgruppe Information Engineering des Lehrstuhls Informatik 1 sucht zum nächstmöglichen Zeitpunkt eine studentische Hilfskraft (SHK) (im Umfang von bis zu 17 Std. / Woche):  Stellenausschreibung

 Die Arbeitsgruppe LogiDAC des Lehrstuhls Informatik 1 sucht zum nächstmöglichen Zeitpunkt eine studentische Hilfskraft (SHK) (im Umfang von bis zu 10 Std. / Woche):  Stellenausschreibung

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.

Der Artikel "Simulating Human Inferences in the Light of New Information: A Formal Analysis"
von Marco Ragni, Christian Eichhorn und Gabriele Kern-Isberner ist in den
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI\'16)
erschienen.

  1. Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
    Simulating Human Inferences in the Light of New Information: A Formal Analysis.
    In Subbarao Kambhampati (ed.). Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16). 2016, 2604–2610.
    BibTeX

    @inproceedings{RagniEichhornKernIsberner2016,
    	author = "Ragni, Marco AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	title = "Simulating Human Inferences in the Light of New Information: A Formal Analysis",
    	booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16)",
    	year = 2016,
    	editor = "Kambhampati, Subbarao",
    	pages = "2604--2610",
    	address = "Palo Alto, CA, USA",
    	publisher = "AAAI Press"
    }
    

Link zum Paper: http://www.ijcai.org/Proceedings/16/Papers/370.pdf