KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings PDF
Preview KI 2017 : advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings
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
Description:The list of books you might like
