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.



Venue

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

Workshops/Tutorials

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