Gerhard Friedrich Malte Helmert Franz Wotawa (Eds.) 4 KI 2016: Advances in 0 9 9 AI Artificial Intelligence N L 39th Annual German Conference on AI Klagenfurt, Austria, September 26–30, 2016 Proceedings 123 fi Lecture Notes in Arti cial Intelligence 9904 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 Gerhard Friedrich Malte Helmert (cid:129) Franz Wotawa (Eds.) KI 2016: Advances in fi Arti cial Intelligence 39th Annual German Conference on AI – Klagenfurt, Austria, September 26 30, 2016 Proceedings 123 Editors Gerhard Friedrich FranzWotawa Alpen-Adria UniversitätKlagenfurt Technische UniversitätGraz Klagenfurt Graz Austria Austria Malte Helmert University of Basel Basel Switzerland ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Artificial Intelligence ISBN 978-3-319-46072-7 ISBN978-3-319-46073-4 (eBook) DOI 10.1007/978-3-319-46073-4 LibraryofCongressControlNumber:2016950419 LNCSSublibrary:SL7–ArtificialIntelligence ©SpringerInternationalPublishingAG2016 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. Printedonacid-freepaper ThisSpringerimprintispublishedbySpringerNature TheregisteredcompanyisSpringerInternationalPublishingAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the conference proceedings of the 39th German Conference on Artificial Intelligence, KI 2016, which was held on September 26–30, 2016. Having started as German Workshop on AI (GWAI) in 1975, this annual event traditionally brings together academic and industrial researchers from all areas of AI, providing a highlyregardedinternationalforumforresearchonthefoundationsandapplicationsof artificial intelligence systems and algorithms. Thisyear,theconferencetookplaceinKlagenfurt,Austria,inconjunctionwiththe Austrian Society for Artificial Intelligence (ÖGAI). Five workshops on specialized topicswithinArtificialIntelligenceaswellastheworkshoponCurrentAIResearchin Austria (CAIRA) were held on the first two days ofthe conference, followed by three days featuring the main technical program of the conference. Theconferencereceived44submissionsfrom18countries,whichwereevaluatedina rigorous single-blind peer reviewing process by a Program Committee including 49 experts.Ofthe44submissions,8(18%)wereacceptedforinclusionintheseproceedings as full papers, and a further 12 (27 %) were accepted as technical communications. Technical communications are shorter papers that can report on research in progress, important implementation techniques or experimental results, novel interesting bench- markproblems,orotherissuesofinteresttotheAIcommunity. WethankallProgramCommitteemembersandadditionalreviewersfortheirefforts in reviewing and discussing the submissions to the conference. The selectivity of the review process shows the dedication of the Program Committee to maintaining high quality standards and is a major reason for the ongoing success and vitality of the KI conference series. InordertofurtherpromotetheroleoftheKIconferenceasavenuefortheexchange ofideasbetweenAIresearchersandpractitionersintheGerman-speakingcountries,in anewinitiative,KI2016alsoinvitedresearchersfromGermany,Austria,Switzerland, and neighboring regions who have published papers at the flagship international AI conferences in2016to present this work at KI. This initiativewas verywellreceived, resulting in 18 additional conference presentations. In addition, the presenters were given theopportunity ofproviding a report on theirresearch to theKI audience inthe form ofanextendedabstract, anopportunitythat 16ofthe18presenters made useof. These extended abstracts are included in an appendix of these proceedings. Last but certainly not least, the KI 2016 program included four keynote presenta- tions by distinguished scientists. Our heartfelt thanks goes to Michael Wooldridge (“From Model Checking to Equilibrium Checking”), Thomas Eiter (“Artificial Intel- ligence at the Gates of Dawn?”), Michael May (“Towards Industrial Machine Intelli- gence”), and Ulrich Furbach (“Automated Reasoning and Cognitive Computing”). Concludingtheseremarks,wewouldliketothankeveryonewhohelpedmakeKI2016 asuccess.This,ofcourse,includesallauthors,ProgramCommitteemembers,reviewers, andkeynotespeakers,aswellastheorganizers,reviewers,andauthorsoftheworkshops. VI Preface Inadditiontotheconferenceandprogramchairs,theorganizingteamincludedKonstantin Schekotihin,GeraldSteinbauer,andStefanWölfl,whodedicatedmuchoftheirtimeand deservemanythanksfororganizingtheworkshopprogram,liaisingwiththeGermanand AustrianAIsocieties,advertisingtheconference,andprovidinggeneraladvice.Ourfinal thanks goes to the the participants of KI 2016, the heart and soul without which the conferencecouldnotexist. September 2016 Gerhard Friedrich Malte Helmert Franz Wotawa Organization General Chair Gerhard Friedrich University of Klagenfurt, Austria Program Chairs Malte Helmert University of Basel, Switzerland Franz Wotawa TU Graz, Austria Doctoral Consortium Chair Stefan Wölfl University of Freiburg, Germany Workshop Chair Konstantin Schekotihin University of Klagenfurt, Austria Publicity Chair Gerald Steinbauer TU Graz, Austria Local Organization Organizing Committee of INFORMATIK 2016 Program Committee Sven Behnke University of Bonn, Germany Ralph Bergmann University of Trier, Germany Mehul Bhatt University of Bremen, Germany Philipp Cimiano Bielefeld University, Germany Cristobal Curio Reutlingen University and Max Planck Institute for Biological Cybernetics, Germany Stefan Edelkamp University of Bremen, Germany Thomas Eiter TU Vienna, Austria Gerhard Friedrich University of Klagenfurt, Austria Stefan Funke University of Stuttgart, Germany Johannes Fürnkranz TU Darmstadt, Germany Birte Glimm University of Ulm, Germany VIII Organization Christian Guttmann InstituteofValueBasedReimbursementSystem(IVBAR), Sweden Malte Helmert University of Basel, Switzerland Joerg Hoffmann Saarland University, Germany Steffen Hölldobler TU Dresden, Germany Jean Christoph Jung University of Bremen, Germany Gabriele Kern-Isberner TU Dortmund, Germany Kristian Kersting TU Dortmund, Germany Thomas Kirste Rostock University, Germany Roman Kontchakov University of London, UK Birkbeck Ralf Krestel Hasso Plattner Institute, Germany Antonio Krüger DFKI, Germany Andreas Lattner Otto Group, Germany T. Marius Lindauer University of Freiburg, Germany Volker Lohweg inIT - Institute Industrial IT, Germany Robert Mattmüller University of Freiburg, Germany Till Mossakowski University of Magdeburg, Germany Giuseppe Pirrò Institute for High Performance Computing and Networking (ICAR-CNR), Italy Gabriele Röger University of Basel, Switzerland Jörg Rothe University of Düsseldorf, Germany Sebastian Rudolph TU Dresden, Germany Martin Sachenbacher TU München, Germany Torsten Schaub University of Potsdam, Germany Stephan Schiffel Reykjavík University, Iceland Malte Schilling ICSI Berkeley, USA Ute Schmid University of Bamberg, Germany Lutz Schröder FAU Erlangen-Nürnberg, Germany Daniel Sonntag DFKI, Germany Steffen Staab University of Koblenz-Landau, Germany Gerald Steinbauer TU Graz, Germany Hannes Strass Leipzig University, Germany Heiner Stuckenschmidt University of Mannheim, Germany Thomas Stützle Université Libre de Bruxelles (ULB), Belgium Matthias Thimm University of Koblenz-Landau, Germany Ingo J. Timm University of Trier, Germany Martin Wehrle University of Basel, Switzerland Stefan Wölfl University of Freiburg, Germany Stefan Woltran TU Vienna, Austria Franz Wotawa TU Graz, Austria Organization IX Additional Reviewers Gregor Behnke University of Ulm, Germany Eric Bouillet IBM Research, Ireland Martin Dyrba Rostock University, Germany Wilfried Elmenreich University of Klagenfurt, Austria Johannes Fichte TU Vienna, Austria Martin Gebser University of Potsdam, Germany Lisa Grumbach University of Trier, Germany Frank Gurski University of Düsseldorf, Germany Andreas Hertle University of Freiburg, Germany Roland Kaminski University of Potsdam, Germany Seongyong Koo University of Bonn, Germany Hagen Langer University of Bremen, Germany Matthias Liebeck University of Düsseldorf, Germany German Martin Garcia University of Bonn, Germany Nysret Musliu TU Vienna, Austria Clemens Mühlbacher TU Graz, Austria Fabian Neuhaus University of Magdeburg, Germany Matthias Nieuwenhuisen University of Bonn, Germany Tobias Philipp TU Dresden, Germany Florian Pommerening University of Basel, Switzerland Adrian Rebola Pardo TU Vienna, Austria Volker Roth University of Basel, Switzerland Zeynep Gözen Saribatur TU Vienna, Austria Marvin Schiller University of Ulm, Germany Max Schröder Rostock University, Germany Tim Schwartz DFKI, Germany Michael Siebers University of Bamberg, Germany Kristina Yordanova Rostock University, Germany
Description: