Program

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

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

last update: 2019-08-06