KI 2014: 37th German Conference on Artificial Intelligence
Veranstaltungsort
Universität Stuttgart, Campus Stuttgart-Vaihingen, Informatikgebäude Universitätsstraße 38, 70569 Stuttgart, Raum 0.108Stuttgart, Deutschland
Beschreibung
KI 2014 is the 37th edition of the German Conference on Artificial Intelligence, which traditionally brings together academic and industrial researchers from all areas of AI, providing a premier forum for exchanging news and research results on theory and applications of intelligent system technology.
The technical program of KI 2014 will comprise paper and poster presentations and a variety of workshops and tutorials. KI 2014 will take place in Stuttgart, Germany, September 22 - 26, 2014 and will be co-located with Informatik 2014 (Annual Conference of the German Informatics Society) and MATES 2014 (The 12th German Conference on Multi-Agent System Technologies).
The conference invites original research papers from all areas of AI, its fundamentals, its algorithms, its history and its applications.
Programm
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