KI 2014: Advances in Artificial Intelligence: 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings

332 Pages·2014·8.41 MB·English

by  Carsten Lutz

Carsten Lutz
Michael Thielscher (Eds.)
6 KI 2014: Advances in
3
7
8

AI Artificial Intelligence
N
L
37th Annual German Conference on AI
Stuttgart, Germany, September 22–26, 2014
Proceedings
123
Lecture Notes in Artificial Intelligence 8736
Subseries of Lecture Notes in Computer Science
LNAISeriesEditors
RandyGoebel
UniversityofAlberta,Edmonton,Canada
YuzuruTanaka
HokkaidoUniversity,Sapporo,Japan
WolfgangWahlster
DFKIandSaarlandUniversity,Saarbrücken,Germany
LNAIFoundingSeriesEditor
JoergSiekmann
DFKIandSaarlandUniversity,Saarbrücken,Germany
Carsten Lutz Michael Thielscher (Eds.)
KI 2014: Advances in
Artificial Intelligence
37th Annual German Conference on AI
Stuttgart, Germany, September 22-26, 2014
Proceedings
1 3
VolumeEditors
CarstenLutz
UniversitätBremen,Germany
E-mail:[email protected]
MichaelThielscher
UniversityofNewSouthWales
Sydney,NSW,Australia
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-319-11205-3 e-ISBN978-3-319-11206-0
DOI10.1007/978-3-319-11206-0
SpringerChamHeidelbergNewYorkDordrechtLondon
LibraryofCongressControlNumber:2014948038
LNCSSublibrary:SL7–ArtificialIntelligence
©SpringerInternationalPublishingSwitzerland2014
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof
thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,
broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation
storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology
nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection
withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand
executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation,
inistcurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse
maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution
undertherespectiveCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication
doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant
protectivelawsandregulationsandthereforefreeforgeneraluse.
Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication,
neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor
omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe
materialcontainedherein.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
Welcometotheproceedingsofthe37thGermanConferenceonArtificialIntelli-
gence(KI2014)!KnownastheGermanWorkshoponArtificialIntelligenceatits
inaugurationin1975,thisannualconferencebringstogetheracademicandindus-
trial researchers from all areas of AI, providing the premier forum in Germany
for exchanging news and research results on theory and applications of intelli-
gent system technology. For the first time, the conference comes to Stuttgart, a
metropolitan area that is one of the leading hubs for high-tech innovation and
development in Europe.
KI 2014 received 62 submissions with authors from 21 countries. Each sub-
missionwasreviewedbyatleastthreeProgramCommitteemembersorexternal
referees. A lively and intense discussion ensued among the reviewers, Program
Committee members, and program chairs. After this thorough assessment, 21
submissions (34%) were finally accepted to be published as full papers in the
proceeding and an additional 7 (11%) as short papers.
KI 2014 featured three exciting keynote speeches by distinguished scientists:
Wolfram Burgard (Freiburg University, Germany) gave an overview of Proba-
bilistic Techniques for Mobile Robot Navigation. Hans van Ditmarsch (LORIA
Nancy,France)spokeaboutDynamicEpistemicLogicandArtificialIntelligence.
Toby Walsh (NICTA and UNSW Sydney, Australia) talked about Allocation in
Practice.
Three workshops with their own proceedings were held on the first two days
of the conference: the 8th Workshop on Emotion and Computing — Current
Research and Future Impact; the 28th Workshop Planen/Scheduling und Kon-
figurieren/Entwerfen (PuK); and the workshop on Higher-Level Cognition and
Computation. The workshops were complemented by two tutorials: Probabilis-
tic Programing by Angelika Kimmig, KU Leuven; and Human Computation by
Fran¸coisBry,LMUMunich.Togetherthesetutorialsandworkshops,whichwere
overseen by the workshop and tutorial chair Frieder Stolzenburg, provided an
excellent start to the event.
KI 2014 would not have been successful without the support of authors, re-
viewers,andorganizers.Wethankthemanyauthorsforsubmittingtheirresearch
papers to the conference and for their collaboration during the preparation of
final submissions. We thank the members of the Program Committee and the
external referees for their expertise and timeliness in assessing the papers. We
also thank the organizers of the workshops and tutorials for their commitment
and dedication. We are very grateful to the members of the Organizing Com-
mittee for their efforts in the preparation, promotion, and organization of the
conference, especially Andr´es Bruhn for coordinating with INFORMATIK 2014
and Maximilian Altmeyer for setting up and maintaining the conference web-
page. We acknowledge the assistance provided by EasyChair for conference
VI Preface
management,andweappreciatetheprofessionalserviceprovidedbytheSpringer
LNCS editorial and publishing teams.
September 2014 Carsten Lutz
Michael Thielscher
Organization
Program Chairs
Carsten Lutz University of Bremen, Germany
Michael Thielscher University of New South Wales, Australia
Workshop and Tutorial Chair
Frieder Stolzenburg Hochschule Harz, Germany
Doctoral Consortium Chair
Markus Kr¨otzsch TU Dresden, Germany
Local Arrangement Chair
Antonio Kru¨ger Saarland University, Germany
Program Committee
Sven Behnke University of Bonn, Germany
Ralph Bergmann University of Trier, Germany
Mehul Bhatt University of Bremen, Germany
Philipp Cimiano University of Bielefeld, Germany
Cristobal Curio TWT GmbH Science & Innovation, Germany
Kerstin Dautenhahn University of Hertfordshire, UK
Stefan Edelkamp University of Bremen, Germany
Stefan Funke University of Stuttgart, Germany
Johannes Fu¨rnkranz TU Darmstadt, Germany
Christopher Geib Drexel University, USA
Birte Glimm University of Ulm, Germany
Christian Guttmann IBM Research, Australia
Malte Helmert University of Basel, Switzerland
Gabriele Kern-Isberner Technical University of Dortmund, Germany
Thomas Kirste University of Rostock, Germany
Roman Kontchakov Birkbeck, University of London, UK
Oliver Kramer University of Oldenburg, Germany
Ralf Krestel University of California at Irvine, USA
VIII Organization
Torsten Kroeger Stanford University, USA
Gerhard Lakemeyer RWTH Aachen University, Germany
Andreas Lattner Otto Group Hamburg, Germany
Volker Lohweg inIT - Institute Industrial IT, Germany
Robert Mattmu¨ller University of Freiburg, Germany
Till Mossakowski University of Magdeburg, Germany
Ralf M¨oller Hamburg University of Technology, Germany
Marco Ragni University of Freiburg, Germany
Jochen Renz Australian National University, Australia
Stephan Schiffel Reykjavik University, Iceland
Malte Schilling CITEC Bielefeld, Germany
Ute Schmid University of Bamberg, Germany
Lutz Schr¨oder Friedrich-Alexander University
Erlangen-Nu¨rnberg, Germany
Daniel Sonntag German Research Center for Artificial
Intelligence (DFKI), Germany
Steffen Staab University of Koblenz-Landau, Germany
Hannes Strass University of Leipzig, Germany
Heiner Stuckenschmidt University of Mannheim, Germany
Thomas Stu¨tzle Free University of Brussels (ULB), Belgium
Moritz Tenorth University of Bremen, Germany
Matthias Thimm University of Koblenz-Landau, Germany
Ingo Timm University of Trier, Germany
Johanna V¨olker University of Mannheim, Germany
Toby Walsh NICTA and UNSW, Australia
Dirk Walther Technical University of Dresden, Germany
Stefan W¨olfl University of Freiburg, Germany
Additional Reviewers
Albrecht, Rebecca Kutz, Oliver Schultz, Carl
Asmus, Josefine Lee, Jae Hee Schulz, Hannes
Bader, Sebastian Ma, Yue Schwering, Christoph
Classen, Jens Mailis, Theofilos Siebers, Michael
D¨orksen, Helene Mccrae, John P. Slaney, John
Gessinger, Sarah Mkrtchyan, Tigran Stu¨ckler, J¨org
Goerke, Nils Mu¨ller, Gilbert Tran, Trung-Kien
Go¨rg, Sebastian Nyolt, Martin Ul-Hasan, Adnan
Hein, Albert O¨zcep, O¨zgu¨r Lu¨tfu¨ Unger, Christina
Hu´e, Julien Pommerening, Florian van Delden, Andr´e
Klinger, Roman Ponomaryov,Denis Westphal, Matthias
Klinov, Pavel Rizzardi, Enrico Wirth, Christian
Kru¨ger, Frank Rodriguez-Muro,
Kuhnmu¨nch, Gregory Mariano
Table of Contents
The Ditmarsch Tale of Wonders ................................... 1
Hans van Ditmarsch
Allocation in Practice ............................................ 13
Toby Walsh
Cognitive Modeling
Applying Inductive ProgramSynthesis to Induction of Number Series –
A Case Study with IGOR2........................................ 25
Jacqueline Hofmann, Emanuel Kitzelmann, and Ute Schmid
Algorithmic Debugging and Literate Programming to Generate
Feedback in Intelligent Tutoring Systems............................ 37
Claus Zinn
A Note on Chances and Limitations of Psychometric AI .............. 49
Tarek Richard Besold
Applying AI for Modeling and Understanding Analogy-Based
Classroom Teaching Tools and Techniques .......................... 55
Tarek Richard Besold and Kai-Uwe Ku¨hnberger
Automatic Identification of Human Strategies by Cognitive Agents ..... 62
Felix Steffenhagen, Rebecca Albrecht, and Marco Ragni
Computer Vision
Environment-Adaptive Learning: How Clustering Helps to Obtain
Good Training Data.............................................. 68
Shoubhik Debnath, Shiv Sankar Baishya, Rudolph Triebel,
Varun Dutt, and Daniel Cremers
Fast Semantic Segmentation of RGB-D Scenes with GPU-Accelerated
Deep Neural Networks............................................ 80
Nico H¨oft, Hannes Schulz, and Sven Behnke
Constraint Satisfaction, Search, and Optimization
Energy-EfficientRouting: Taking Speed into Account................. 86
Frederik Hartmann and Stefan Funke
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning
and On-the-Fly Probing .......................................... 98
Norbert Manthey
X Table of Contents
Formula Simplifications as DRAT Derivations ....................... 111
Norbert Manthey and Tobias Philipp
A More Compact Translation of Pseudo-BooleanConstraints into CNF
Such That Generalized Arc Consistency Is Maintained................ 123
Norbert Manthey, Tobias Philipp, and Peter Steinke
Knowledge Representation and Reasoning
Matching with Respect to General Concept Inclusions in the
Description Logic EL ............................................ 135
Franz Baader and Barbara Morawska
Evaluating Practical Automated Negotiation Based on Spatial
Evolutionary Game Theory ....................................... 147
Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls, and
Ho-fung Leung
Towards a New Semantics for Possibilistic Answer Sets ............... 159
Julien Hu´e, Matthias Westphal, and Stefan Wo¨lfl
Reasoning in ALC with Fuzzy Concrete Domains .................... 171
Dorian Merz, Rafael Pen˜aloza, and Anni-Yasmin Turhan
A Stream-Temporal Query Language for Ontology Based Data
Access.......................................................... 183
O¨zgu¨r Lu¨tfu¨ O¨z¸cep, Ralf M¨oller, and Christian Neuenstadt
Towards Large-Scale Inconsistency Measurement..................... 195
Matthias Thimm
On the Scope of Qualitative Constraint Calculi ...................... 207
Matthias Westphal, Julien Hu´e, and Stefan Wo¨lfl
From Intelligibility to Debuggability in Context-Aware Systems........ 219
Daniel Moos, Sebastian Bader, and Thomas Kirste
Towards a Trace Index Based Workflow Similarity Function ........... 225
Pol Schumacher and Mirjam Minor
Machine Learning and Data Mining
Local Feature Extractors Accelerating HNNP for Phoneme
Recognition ..................................................... 231
Ruth Janning, Carlotta Schatten, and Lars Schmidt-Thieme
Parallel Fitting of Additive Models for Regression.................... 243
Valeriy Khakhutskyy and Markus Hegland