The workshop will take place on August 11, 2019 (IJCAI Workshop W8), room to be announced.

QR 2019 Keynote Speakers

Anthony (Tony) G Cohn

Professor of Automated Reasoning, University of Leeds
photo: University of Leeds

Masoumeh Mansouri

Center for Applied Autonomous Sensor Systems (AASS), Örebro University

Hybrid KR&R for Robotics

My talk is primarily related to Knowledge Representation and Reasoning (KR&R) for Robotics. I focus on hybrid methods that integrate automated task and motion planning, scheduling, as well as temporal and spatial reasoning. My goal is twofold: to combine heterogeneous representations for the purpose of obtaining "hybrid" KR formalisms that are able to express the many nuances of real-world robotics problems; and to develop efficient methods for reasoning with these formalisms. In my talk, I show examples of applying hybrid KR&R methods in several different domains, including a waiter robot, an industrial manipulation assembly tasks, and a drill planning problem in open-pit mining.

Workshop Program

(Please check webpage just before QR starts as the program may be updated)

9:00 - 9:15 Welcome
9:15 - 10:00 Keynote: Tony Cohn
10:00 - 10:30 coffee break
10:30Peng Zhang, Xiaoyu Ge and Jochen Renz: Support Relation Analysis for Objects in Multiple View RGB-D Images
11:30Kenneth Forbus and Tom Hinrichs Qualitative Reasoning about Investment Decisions
12:00John Maxwell, Johan de Kleer and Matthew Klenk: Insane Design Of Lumped Element Models
12:30 - 14:00 lunch break
14:15Keynote: Masoumeh Mansouri. Hybrid KR&R for Robotics
15:00Peter Struss: Model-based Decision Support Systems - Conceptualization and General Architecture
15:30Tom Hinrichs and Kenneth Forbus: Experimentation in a model-based game
16:00 - 16:30 coffee break
16:30Azadeh Izadi, Torsten Hahmann, Hans W. Guesgen and Kristin Stock: A multidimensional mereotopological theory
17:00John Maxwell, Johan de Kleer and Matthew Klenk: Checking Qualitative Reasoning with the Conflict Resolution Method
17:30discussion and future plans
18:00 end of workshop

last update: 2019-08-06