German Conference on Artificial Intelligence

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.

Venue

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

Submission

Submitted papers, which have to be in English, must not exceed 12 pages in Springer LNCS style for full technical contributions and 6 pages for short papers.

Full technical papers are expected to report on new research that makes a substantial technical contribution to the field.

Short papers are also included in the main proceedings and can report on new research or other issues of interest to the AI community. Examples of work suitable for short paper submissions include: novel ideas whose scope is not large enough for a full paper: important implementation techniques; novel interesting benchmark problems; short experimental studies; interesting applications that are not yet completely solved or analyzed; position or challenge papers; etc.

Short paper submissions are especially invited for software demonstration or PhD work in progress.

Submission will be through the Easychair conference management system

Papers will be subject to blind peer review. All papers will be reviewed based on the standard criteria of relevance, significance of results, originality of ideas, soundness, and quality of the presentation.

All accepted papers will be published in the main conference proceedings, and will be presented at the conference. At least one author of each accepted paper must register for the conference and present the contribution. The KI 2014 proceedings will be published by Springer as a volume of the LNAI (Lecture Notes in Artificial Intelligence) series.

Program

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

Postal service & https://www.tarif-lettre.com/
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

Workshops

Together with the main conference, we will have a small number of high-quality workshops, in most cases organized by AI Special Interest Groups (GI-Fachgruppen), bringing together researchers from different disciplines, and highlighting emerging topics of AI research. All workshops and tutorials of KI 2014 will take place at the University of Stuttgart, Pfaffenwaldring 9 (IWZ) on September 22/23, 2014.

Tutorials

Together with the main conference, we will have a small number of high-quality tutorials suitable for a large percentage of conference participants, including graduate students as well as experienced researchers, and practitioners. All workshops and tutorials of KI 2014 will take place at the University of Stuttgart, Pfaffenwaldring 9 (IWZ) on September 22/23, 2014.

Doctoral Consortium

The technical program of presentations, workshops, and tutorials is complemented by a doctoral consortium that invites participation by PhD students at any stage and from any subject area within AI.

The goals of the doctoral consortium are

to provide PhD students with the opportunity to present their ongoing research and receive feedback from established researchers;
to promote networking among PhD students and AI researchers in general, both on a national and an international level; to support students with advice on academic, research, and industrial careers.

Doctoral Program

The KI doctoral consortium is organized as a joint event with the doctoral program of INFORMATIK 2014, and all submissions will undergo the same, joint review process. There will be a PhD workshop with oral presentations and a poster session this is co-located with the general poster session of INFORMATIK 2014, both providing opportunity for obtaining feedback. To participate, doctoral students are invited to submit a research contribution, which will be published in the INFORMATIK 2014 conference proceedings (Springer). Additionally, student coauthors of accepted KI research papers (short or long) can also apply for participation in any of the events of the PhD program.

Doctoral students may also participate in a mentoring program that will connect students with experienced researchers in their field. Personal meetings will be scheduled between selected mentors and students. Students can indicate their interest in this program when submitting their contribution, or directly by contacting the organisers. The schedule of the meetings will be announced ahead of the event.

A special seminar "How do I obtain my PhD?" ("Wie promoviere ich?") on 26th September 2014 will feature invited talks on the general topic of acquiring a PhD. The event is open to all interested participants of INFORMATIK 2014.

Best Paper Award

An award is available to distinguish the best long contribution to the doctoral program of INFORMATIK 2014. KI 2014 and INFORMATIK 2014 will jointly decide about this distinction. Results will be announced at the poster session.

Important Dates

Organisation

Invited Speakers

Wolfram Burgard (Jointly with MATES)
UNIVERSITY OF FREIBURG, GERMANY
Title: Probabilistic Techniques for Mobile Robot Navigation
Abstract:
Probabilistic approaches have been discovered as one of the most powerful approaches to highly relevant problems in mobile robotics including perception and robot state estimation. Major challenges in the context of probabilistic algorithms for mobile robot navigation lie in the questions of how to deal with highly complex state estimation problems and how to control the robot so that it efficiently carries out its task. In this talk, I will present recently developed techniques for efficiently learning a map of an unknown environment with a mobile robot. I will also describe how this state estimation problem can be solved more effectively by actively controlling the robot. For all algorithms I will present experimental results that have been obtained with mobile robots in real-world environments.

Brief biography
Wolfram Burgard is a professor for computer science at the University of Freiburg and head of the research lab for Autonomous Intelligent Systems. He is a Fellow of the European Coordinating Committee for Artificial Intelligence (ECCAI) and of the Association for the Advancement of Artificial Intelligence (AAAI). In 2009, he has received the Gottfried Wilhelm Leibniz Prize, the most prestigious German research award. In 2010, he has received an Advanced Grant of the European Research Council. Since 2012, he is the coordinator of the Cluster of Excellence BrainLinks-BrainTools funded by the German Research Foundation. His areas of interest lie in artificial intelligence and mobile robots, and his research mainly focuses on the development of robust and adaptive techniques for state estimation and control. With his group, he has developed a series of innovative probabilistic techniques for robot navigation and control. They cover different aspects such as localization, map-building, SLAM, path-planning, exploration, and several other aspects. He and his group have deployed Rhino as the first interactive mobile tour-guide robot in the Deutsches Museum Bonn in Germany, the mobile robot Minerva in the Smithsonian Museum of American History in Washington, DC, and several robots that autonomously operated in trade shows and Museums. They have also been active in autonomous cars and robots that autonomously navigate like pedestrians.

Hans van Ditmarsch
LORIA, NANCY, FRANCE
Title: Dynamic Epistemic Logic and Artificial Intelligence
Abstract:
Epistemic logic is the modal logic of knowledge, and dynamic epistemic logic is the modal logic of change of knowledge. Knowledge is formalized with a modality for every knowing agent, and change of knowledge is formalized with a dynamic modality, for example, for the consequences of a public announcement. Over the past 10 years this two-types-of-modality approach of dynamic epistemic logic has been used in other areas of interest in logic and AI: situation calculus, belief revision, planning, epistemology, theory of mind. More theoretical results, such as on model checking and satisfiability, have also become available. We will give an overview of the area over the past 25 years.

Brief biography
Hans van Ditmarsch is a senior researcher at LORIA (Laboratoire Lorrain de Recherche en Informatique et ses Applications), Nancy, where he is heading the section (equipe) called CELLO (for: Computational Epistemic Logic in LOrraine). He was previously affiliated with the University of Groningen, the University of Otago, IRIT (Institut de Recherche en Informatique de Toulouse), and the University of Sevilla, and he was a Lorentz Fellow at NIAS (Netherlands Institute for Advanced Study in the Humanities and the Social Sciences). From 2010 onward he has been an associated researcher at IMSc (Institute of Mathematical Sciences), Chennai. His research is on the dynamics of knowledge, information-based security protocols, modal logics for belief revision, proof tools for epistemic logics, combinatorics, and computer and information science education. Since 1996 he has regularly contributed to ESSLLI with graduate courses and workshops and was a co-chair of ESSLLI Hamburg 2008. Conferences that he has organized and chaired include 7th M4M Osuna 2011, 3rd Tools for Teaching Logic Salamanca 2011, 3rd LORI Guangzhou 2011, and 11th LOFT Sevilla 2012. He has given keynote presentations at, among other occasions, 16th EBL Petropolis 2011, 19th WoLLIC Buenos Aires 2012, SAICSIT 2012 Tschwane, and 29th ICLP Istanbul 2013.

Toby Walsh
NICTA AND UNIVERSITY OF NEW SOUTH WALES, SYDNEY, AUSTRALIA
Title: Allocation in Practice
Abstract:
How do we allocate scarce resources? How do we fairly allocate costs? These are two pressing challenges facing society today. I discuss two recent projects at NICTA concerning resource and cost allocation. In the first, we have been working with FoodBank Local, a social startup working in collaboration with FoodBank charities around the world to optimize the logistics of collecting and distributing donated food. Before we can distribute this food, we must decide how to allocate it to different charities and food kitchens. This gives rise to a fair division problem with several new dimensions, rarely considered in the literature. In the second, we have been looking at cost allocation within the distribution network of a large multinational company. This also has several new dimensions rarely considered in the literature.

Brief biography
Toby Walsh is Research Group Leader at the Neville Roach Lab of NICTA. He is Conjoint Professor at the Department of Computer Science and Engineering at the University of New South Wales, External Professor in the Department of Information Science at Uppsala University and an honorary fellow of the School of Informatics at Edinburgh University. He recently won a Humboldt Award in recognition of his research contributions. He has been Editor-in-Chief of the Journal of Artificial Intelligence Research, and of AI Communications. He is the Associate Editor of the Journal of the ACM covering Artificial Intelligence. He is also on the editorial board of the Journal of Automated Reasoning and the Constraints journal. He has been elected a fellow of both the Association for the Advancement of AI and the European Coordinating Committee for AI for his research and service to the community. He has been Secretary of the Association for Constraint Programming (ACP) and is Editor of CP News, the newsletter of the ACP. He was Program Chair or Conference Chair (and frequently both) of the International Joint Conference on AI (IJCAI), the Constraint Programming conference, the Satisfiability conference, the International Joint Conference on Automated Reasoning, the Pacific Rim Conference on AI, the Computational Social Choice conference, and the Algorithmic Decision Theory conference.

Organisation

Program Chairs