Wednesday, 24.09.2014, 8:50 - 17:00

08:50 - 09:00 Welcome

09:00 - 10:00 Keynote
Dynamic Epistemic Logic and Artificial Intelligence
Hans van Ditmarsch

10:00 - 10:30 Coffee Break

10:30 - 12:00 Session 1
Comparison of Classical, FOND and Probabilistic Planning
Andreas Hertle, Christian Dornhege, Thomas Keller, Robert Mattmüller, Manuela Ortlieb and Bernhard Nebel

Planning in the Wild: Modeling Tools for PDDL
Volker Strobel and Alexandra Kirsch

Parallel Fitting of Additive Models for Regression
Valeriy Khakhutskyy and Markus Hegland

A Note on Chances and Limitations of Psychometric AI (short)
Tarek Richard Besold

12:00 - 13:30 Lunch Break

13:30 - 15:00 Session 2
Energy-Efficient Routing: Taking Speed into Account
Frederik Hartmann and Stefan Funke

Monte-Carlo Tree Search for 3D Packing with Object Orientation
Stefan Edelkamp, Max Gath and Moritz Rohde

Evaluating Practical Automated Negotiation Based on Spatial Evolutionary Game Theory
Siqi Chen, Jianye Hao, Gerhard Weiss, Karl Tuyls and Ho-Fung Leung

Evolutionary Turbine Selection for Wind Power Predictions (short)
Nils André Treiber and Oliver Kramer

15:00 - 15:30 Coffee Break

15:30 - 17:00 Session 3
Local Feature Extractors Accelerating HNNP for Phoneme Recognition
Ruth Janning, Carlotta Schatten and Lars Schmidt-Thieme

Environment-Adaptive Learning: How Clustering Helps to Obtain Good Training Data
Shoubhik Debnath, Shiv Sankar Baishya, Rudolph Triebel, Varun Dutt and Daniel Cremers

Multi-Stage Constraint Surrogate Models for Evolution Strategies
Jendrik Poloczek and Oliver Kramer

Fast RGB-D Indoor Scene Segmentation with Deep Neural Networks and Histograms of Oriented Depths (short)
Nico Höft, Hannes Schulz and Sven Behnke

19:30 - 23:00 Conference Dinner
Please see program of INFORMATIK 2014 for details.

Thursday, 25.09.2014, 09:00 - 17:00

09:00 - 10:00 Keynote (Jointly with MATES)
Probabilistic Techniques for Mobile Robot Navigation
Wolfram Burgard

10:00 - 10:30 Coffee Break

10:30 - 12:10 Joint Session with MATES
Minimizing Necessary Observations for Nondeterministic Planning
Robert Mattmüller, Manuela Ortlieb and Erik Wacker

Planning with Numeric Key Performance Indicators over Dynamic Organizations of Intelligent Agents
Florian Pantke, Stefan Edelkamp and Otthein Herzog

Employing Automatic Temporal Abstractions to Accelerate Utile Suffix Memory Algorithm (short)
Erkin Çilden and Faruk Polat

Automatic Identification of Human Strategies by Cognitive Agents (short)
Felix Steffenhagen, Rebecca Albrecht, Marco Ragni

12:10 - 13:30 Lunch Break

13:30 - 15:00 Session 4
Reasoning in ALC with Fuzzy Concrete Domains
Dorian Merz, Rafael Peñaloza and Anni-Yasmin Turhan

Towards a New Semantics for Possibilistic Answer Sets
Julien Hué, Matthias Westphal and Stefan Woelfl

Formula Simplifications as DRAT Derivations
Norbert Manthey and Tobias Philipp

Towards a Trace Index Based Workflow Similarity Function (short)
Pol Schumacher and Mirjam Minor

15:00 - 15:30 Coffee Break

15:30 - 17:00 KI Session of KI/INFORMATIK Doctoral Consortium
All KI participants are welcome to attend this session
Querying Probabilistic Ontologies with SPARQL
Joerg Schoenfisch

Delta Operation Language for Model Difference Representation
Dilshodbek Kuryazov

17:30 - 19:00 Mitgliederversammlung des Fachbereichs KI der GI
Die Mitgliederversammlung findet in Hörsaal V38.01 statt.

Friday, 26.09.2014, 09:00 - 16:20

09:00 - 10:00 Keynote
Allocation in Practice
Toby Walsh

10:00 - 10:30 Coffee Break

10:30 - 12:00 Session 5
Towards Large-scale Inconsistency Measurement
Matthias Thimm

A Stream-Temporal Query Language for Ontology Based Data Access
Özgür Lütfü Özcep, Ralf Möller and Christian Neuenstadt

Matching with Respect to General Concept Inclusions in the Description Logic EL
Franz Baader and Barbara Morawska

From Intelligibility to Debugibility in Context-Aware Systems (short)
Daniel Moos, Sebastian Bader and Thomas Kirste

12:10 - 13:30 Lunch Break

13:30 - 15:00 Session 6
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained
Peter Steinke, Norbert Manthey and Tobias Philipp

On the Scope of Qualitative Constraint Calculi
Matthias Westphal, Julien Hué and Stefan Woelfl

CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
Norbert Manthey

Applying AI for Modeling and Understanding Analogy-Based Classroom Teaching Tools & Techniques (short)
Tarek Richard Besold and Kai-Uwe Kuehnberger r

15:00 - 15:30 Coffee Break

15:30 - 16:20 Session 7
Applying Inductive Program Synthesis to Induction of Number Series – A Case Study with IGOR2
Jacqueline Hofmann, Emanuel Kitzelmann and Ute Schmid

Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems
Claus Zinn


The conference will take place at Stuttgart University, Campus Stuttgart/Vaihingen.

Please visit the INFORMATIK 2014 website for more information.

Important Dates

Main Conference

Paper submission
May, 1, 2014
May, 9, 2014
Acceptance notification
June 23, 2014
Final version due
July 4, 2014
KI Conference
September 22-26, 2014


Workshop/Tutorial submission
March 15, 2014
Acceptance notification
March 31, 2014
Workshop paper submissions
July 1, 2014
Workshop paper notification
August 1, 2014
Final workshop papers due
August 15, 2014
Workshops and Tutorials
September 22-23, 2014