KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings

411 Pages·2017·30.06 MB·English

by  Fürnkranz

Gabriele Kern-Isberner
Johannes Fürnkranz
Matthias Thimm (Eds.)
5
0 KI 2017: Advances in
5
0
1

AI Artificial Intelligence
N
L
40th Annual German Conference on AI
Dortmund, Germany, September 25–29, 2017
Proceedings
123
fi
Lecture Notes in Arti cial Intelligence 10505
Subseries of Lecture Notes in Computer Science
LNAI Series Editors
Randy Goebel
University of Alberta, Edmonton, Canada
Yuzuru Tanaka
Hokkaido University, Sapporo, Japan
Wolfgang Wahlster
DFKI and Saarland University, Saarbrücken, Germany
LNAI Founding Series Editor
Joerg Siekmann
DFKI and Saarland University, Saarbrücken, Germany
More information about this series at http://www.springer.com/series/1244
ü
Gabriele Kern-Isberner Johannes F rnkranz
(cid:129)
Matthias Thimm (Eds.)
KI 2017: Advances in
fi
Arti cial Intelligence
40th Annual German Conference on AI
–
Dortmund, Germany, September 25 29, 2017
Proceedings
123
Editors
Gabriele Kern-Isberner Matthias Thimm
Fakultät für Informatik FBInformatik
Technische UniversitätDortmund UniversitätKoblenz
Dortmund Koblenz,Rheinland-Pfalz
Germany Germany
JohannesFürnkranz
FBInformatik
TU Darmstadt
Darmstadt, Hessen
Germany
ISSN 0302-9743 ISSN 1611-3349 (electronic)
Lecture Notesin Artificial Intelligence
ISBN 978-3-319-67189-5 ISBN978-3-319-67190-1 (eBook)
DOI 10.1007/978-3-319-67190-1
LibraryofCongressControlNumber:2017953421
LNCSSublibrary:SL7–ArtificialIntelligence
©SpringerInternationalPublishingAG2017
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe
material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation,
broadcasting, reproduction on microfilms or in any other physical way, and transmission or information
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow
knownorhereafterdeveloped.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare
believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors
give a warranty, express or implied, with respect to the material contained herein or for any errors or
omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin
publishedmapsandinstitutionalaffiliations.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAG
Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland
Preface
The German conference on Artificial Intelligence (abbreviated KI for “Künstliche
Intelligenz”)looksbackonalongandfruitfulhistory.Thefirstofficialeventtookplace
in1975,atthattimeaworkshopoftheKIworkinggroupoftheGerman“Gesellschaft
fürInformatik”(associationforcomputerscience,GI).Beforethat,therewereinofficial
meetings,suchasthe“FachtagungKognitiveVerfahrenundSysteme”,whichwasheld
inHamburginApril1973.Themeetinghasnowdevelopedintoanannualconference
for researchers in artificial intelligence, primarily from Germany and its neighboring
countries but open to international participation.
Thisvolumecontainsthepaperspresentedatthe40theventinthisseries,whichwas
heldattheTechnicalUniversityofDortmund,September25–29th,2017.Thisyearwe
received 73 valid submissions, an increase of 50% over last year. We were able to
accept 20 papers as full research papers and 16 as short technical communications,
yieldinganacceptancerateof27%forfullpapersand49%overall.Duetothelimited
numberofavailableslotsintheconferenceschedule,wehadtomakedifficultdecisions
and several worthy submissions had to be rejected or downgraded from full to short
papers.
The Program Committee worked very hard to thoroughly review all the submitted
papers and to provide action points to improve the papers. Despite the increased
workloadforthePC,almostallpapersreceivedthreereviews,andonly10papershad
tobeselected orrejectedonthebasisofonly2reviews.Theprogramchairsmanaged
discussionsamongstthereviewers,fromwhichthefinaldecisionsemerged.Asaresult,
thecontributionscoverarangeoftopicsfrom,e.g.,agents,robotics,cognitivesciences,
machinelearning,planning,knowledgerepresentation,reasoning,andontologies,with
numerous applications in areas like social media, psychology, and transportation sys-
tems, reflecting the richness and diversity of our field.
In addition to the regular sessions, our program also featured three invited talks by
PierreBaldi(UniversityofCalifornia,Irvine),GerhardBrewka(UniversityofLeipzig),
and Luc De Raedt (Katholieke Universiteit Leuven), as well as an industrial session
featuring a keynote by Wolfgang Wahlster (Saarland University), and a session com-
posed of presentations ofselectedpapers by German authorsthat have beenpresented
at our international sister conferences AAAI and IJCAI in 2017.
In order to celebrate the 40th anniversary of the German Conference on Artificial
Intelligence, the program also contained a historical session with a panel discussion.
The session was hosted by Ulrich Furbach, and contained contributions from the
panelists Katharina Morik, Hans-HelmutNagel, Bernd Neumann, and Jörg Siekmann.
After a short review of the history of computer science and artificial intelligence in
Germany by the host, the panelists commented on their early AI-related activities and
the relationship of these activities with the computer science community at that time.
Finally, the development of the field in recent years and its future was reflected in an
open forum.
VI Preface
Forthefirsttwodaysoftheconference,ourworkshopandtutorialchair,Christoph
Beierle (University of Hagen), organized a program of two workshops:
– ZooOperation Competition (Vanessa Volz, Christian Eichhorn)
– Formal and Cognitive Reasoning (Christoph Beierle, Gabriele Kern-Isberner,
Marco Ragni, Frieder Stolzenburg)
Duringtheworkshops,manyadditionalpaperswerepresented,ideasdiscussed,and
experiences exchanged. Moreover, the program also featured two tutorials:
– Defeasible Reasoning for Description Logics (Ivan Varzinczak)
– Knowledge Representation and Reasoning with Nilsson-Style Probabilistic Logics
(Nico Potyka)
Organizingsuchatraditionalconferenceisaverychallengingbutnolessrewarding
experience, which would not have been possible without the help of the many indi-
vidualswhocontributedtothesuccessofthisevent.Firstandforemost,wewouldlike
tothanktheauthorsandthereviewersfortheirexcellentwork,whichformsthecoreof
anysuchmeeting.Wealsothankourworkshopandtutorialchair,theinvitedspeakers,
the workshop chairs and tutorial presenters, and the participants of the historical ses-
sion, all ofwhichhave already beenlistedabove.Lastbutnotleast,specialthanks go
to the local organization team from the Technical University of Dortmund,
Christian Eichhorn, Steffen Schieweck, and Marco Wilhelm without whom this con-
ference would not have been possible.
July 2017 Gabriele Kern-Isberner
Johannes Fürnkranz
Matthias Thimm
Organization
General Chair
Gabriele Kern-Isberner TU Dortmund, Germany
Program Chairs
Johannes Fürnkranz TU Darmstadt, Germany
Matthias Thimm University of Koblenz-Landau, Germany
Workshop and Tutorial Chair
Christoph Beierle University of Hagen, Germany
Historial Session Chair
Ulrich Furbach University of Koblenz-Landau, Germany
Local Chairs
Christian Eichhorn TU Dortmund, Germany
Steffen Schieweck TU Dortmund, Germany
Marco Wilhelm TU Dortmund, Germany
Program Committee
Klaus-Dieter Althoff DFKI/University of Hildesheim, Germany
Franz Baader TU Dresden, Germany
Christian Bauckhage Fraunhofer IAIS, Germany
Sven Behnke University of Bonn, Germany
Christoph Beierle University of Hagen, Germany
Ralph Bergmann University of Trier, Germany
Leopoldo Bertossi Carleton University, Germany
Chris Biemann University of Hamburg, Germany
Gerhard Brewka Leipzig University, Germany
Philipp Cimiano Bielefeld University, Germany
Jürgen Dix Clausthal University of Technology, Germany
Igor Douven Paris-Sorbonne University, France
Didier Dubois IRIT/RPDMP, France
Stefan Edelkamp University of Bremen, Germany
Christian Guttmann Nordic AI Institute/Karolinska Institute/
Univ. of New South Wales, Australia
VIII Organization
Barbara Hammer Bielefeld University, Germany
Malte Helmert University of Basel, Switzerland
Andreas Hotho University of Würzburg, Germany
Eyke Hüllermeier University of Paderborn, Germany
Anthony Hunter University College London, UK
Steffen Hölldobler TU Dresden, Germany
Dietmar Jannach TU Dortmund, Germany
Jean Christoph Jung Universität Bremen, Germany
Kristian Kersting TU Darmstadt, Germany
Oliver Kramer Universität Oldenburg, Germany
Ralf Krestel Hasso Plattner Institute/University of Potsdam, Germany
Thomas Lukasiewicz University of Oxford, UK
Till Mossakowski University of Magdeburg, Germany
Maurice Pagnucco The University of New South Wales, Australia
Heiko Paulheim University of Mannheim, Germany
Rafael Peñaloza Free University of Bozen-Bolzano, Italy
Giuseppe Pirrò InstituteforHighPerformanceComputingandNetworking
(ICAR-CNR), Italy
Henri Prade IRIT/CNRS, France
Stefan Roth TU Darmstadt, Germany
Günter Rudolph TU Dortmund, Germany
Sebastian Rudolph TU Dresden, Germany
Klaus-Dieter Schewe Software Competence Center Hagenberg, Germany
Ute Schmid University of Bamberg, Germany
Lars Schmidt-Thieme University of Hildesheim, Germany
Lutz Schröder Friedrich-Alexander-Universität Erlangen-Nürnberg,
Germany
Christoph Schwering University of New South Wales, Australia
Steffen Staab University Koblenz-Landau/Univ. of Southampton, UK
Hannes Strass Leipzig University, Germany
Heiner Stuckenschmidt University of Mannheim, Germany
Thomas Stützle Université Libre de Bruxelles, Germany
Paul Thorn Heinrich-Heine-Universität Düsseldorf, Germany
Ingo J. Timm University of Trier, Germany
Anni-Yasmin Turhan TU Dresden, Germany
Jilles Vreeken MPI for Informatics/Saarland University, Germany
Toby Walsh NICTA/University of New South Wales, Australia
Stefan Woltran TU Wien, Vienna
Organization IX
Additional Reviewers
Ahlbrecht, Tobias Koo, Seongyong
Apeldoorn, Daan Kumar, Abhishek
Asaadi, Shima Kutsch, Steven
Ayzenshtadt, Viktor Ludewig, Malte
Barteld, Fabian Ma, Ning
Bliem, Bernhard Martin Garcia, German
Borgwardt, Stefan Martinez-Gil, Jorge
Bremer, Jörg Milde, Benjamin
Buga, Andreea Möller, Ralf
Dang, Hien Müller, Gilbert
Dietz, Emmanuelle-Anna Nemes, Tania
Ecke, Andreas Nesi, Monica
Farazi, Hafez Neuhaus, Fabian
Fiekas, Niklas Nunes, Ingrid
Flesca, Sergio Plaza, Enric
Grumbach, Lisa Pommerening, Florian
Hassan, Teena Chakkalayil Sauerwald, Kai
Henzgen, Sascha Schweizer, Lukas
Houben, Sebastian Seuß, Dominik
Huber, Steffen Siebers, Michael
Igarashi, Ayumi Stram, Rotem
Jugovac, Michael Wernhard, Christoph
Keller, Thomas Wirth, Christian
Knees, Peter Zeyen, Christian