Integrating Multiple Knowledge Representation and Reasoning Techniques in Robotics (MIRROR-16)

 

Full-day workshop at the 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2016)

---

The ability of a robotic system to reason about its surroundings, its goals, and its actions, is paramount to developing robots that act autonomously and appropriately. However, the common goal of AI and Robotics researchers to realize intelligent robot systems has not yet led to fully AI-driven robots, in spite of great attainments in both research areas. One of the major hindrances is the lack of attention to integrated reasoning. This is the problem of jointly reasoning about heterogeneous and inter-dependent aspects of the world, expressed in different forms and at different levels of abstraction. The focus of this workshop is on the general techniques, the applications, the scopes, and the challenges that lie behind the integration of several reasoning systems.

This workshop will stimulate the development of much needed methodologies and tools for addressing the integrated reasoning problem in a systematic way. Such methodologies and tools are necessary to avoid two important and well-known issues in Robotics. First, systems composed of different modules implementing specialized algorithms which are integrated in an ad-hoc manner are more difficult to replicate. Second, the underlying integration techniques, often a big part of realization, cannot be used to build other integrated reasoning systems. These significantly hinder advancement in the field of intelligent robotics. This workshop is instrumental in bringing these problems to light. It will provide a venue for Robotics and AI researchers to exchange the lessons learned from different special cases of integrated reasoning. This will foster interest in general methods that address different applications, robot systems, and requirements.

---

Topics of interest

Forms of integrated reasoning that are relevant to this workshop include, but are not limited to:

• Spatio-temporal planning and coordination for multiple robots
• Combined task and motion planning
• Formal methods in combining knowledge representation and reasoning approaches
• Knowledge representation systems for robots
• Motion planning with temporal specifications
• Reasoning about time, space, resources and/or tasks for robots

---

Paper submission

Unpublished original contributions, as well as previously published work may be submitted to the workhop. The criteria for acceptance is the work's relation to the topics of the workshop and technical quality. We also encourage submission of position papers that address the challenge(s) of integrating different forms of reasoning for robots. These papers will be used to initiate discussion on these topics during the workshop.

Papers can be submitted until the submission deadline (see below) via EasyChair. Submissions, to be uploaded as a PDF file, should be no longer than eight pages, including references. Papers should be formatted with the IEEE Latex or Word style. All papers will go through a single-blind peer review with at least two reviewers.

---

Important Dates

Paper submission deadline:	July 20 July 31, 2016
Author notification:	August 25, 2016
Camera-ready submission:	September 5, 2016
Workshop date:	October 10, 2016

---

Invited Speakers

• Marc Hanheide, University of Lincoln, UK
• Esra Erdem, Sabanci University, Turkey
• Andrew Tinka, Amazon Robotics, US
• Volker Krüger, Aalborg University, Denmark
• Andrzej Pronobis, University of Washington, US

---

Program Committee

• Vaishak Belle, KU Leuven, Belgium
• Christian Dornhege, University of Freiburg, Germany
• Fredrik Heintz, Linköping University, Sweden
• Joachim Hertzberg, University of Ösnabruck, Germany
• George Konidaris, Duke University, USA
• Benjamin Kuipers, University of Michigan, USA
• Lars Kunze, University of Birmingham, UK
• Uwe Köckemann, Örebro University, Sweden
• Fabien Lagriffoul, Örebro University, Sweden
• Morteza Lahijanian, Rice University, USA
• Gerhard Lakemeyer, RWTH Aachen University, Germany
• Sheila McIlraith, University of Toronto, Canada
• Andrea Orlandini, ISTC CNR, Italy
• Jennifer Renoux, Örebro University, Sweden
• Alessandro Saffiotti, Örebro University, Sweden
• Hao Zhang, Colorado School of Mines, US

---

Schedule

9:00 - 9:15	Welcome (Organisers)
9:15 - 10:00	Invited Talk: Andrzej Pronobis (University of Washington) [abstract]
10:00 - 10:30	Coffee Break
10:30 - 10:55	Update of time-invalid information in Knowledge Bases through Mobile Agents [PDF] Ilaria Tiddi, Enrico Daga, Emanuele Bastianelli, Mathieu d'Aquin
10:55 - 11:20	Path Planning for Cooperative Autonomous Soaring gliders [PDF] Muhammad Aneeq uz Zaman, Syed Bilal Mehdi, Saad bin Shams
11:20 - 12:05	Invited talk: Andrew Tinka (Amazon Robotics) [abstract]
12:05 - 12:30	A Case Study for Integrating Heterogeneous Knowledge Bases for Outdoor Environments [PDF] Sebastian Blumenthal, Benjamin Brieber, Nico Huebel, Fereshta Yazdani, Michael Beetz and Herman Bruyninckx
12:30 - 14:00	Lunch Break
14:00 - 14:45	Invited Talk: Esra Erdem (Sabanci University) [abstract]
14:45 - 15:30	Invited talk: Volker Krüger (Aalborg University) [abstract]
15:30 - 16:00	Coffee Break
16:00 - 16:45	Invited Talk: Marc Hanheide (University of Lincoln)
16:45 - 17:10	Reconfigurable Tasks in Belief-Space Planning [PDF] Dirk Ruiken, Tiffany Q. Liu, Takeshi Takahashi, and Roderic A. Grupen
17:10 - 17:30	Discussion and Closing

---

Workshop Organizers

---

Sponsor

This workshop is supported by Semantic Robots, a Research Profile funded by the Swedish Knowledge Foundation.

---