home
agenda
papers
registration
local
qr background
|
The sessions are held in Carson Hall, room L02. From the Hanover
Inn, cross the green to Baker (with the clock and bell tower, a canonical
picture of Dartmouth). Go through the front door of Baker, and
straight into the library part (Berry). Continue through the library
(you'll have to jog left after entering). Go down a staircase, and
you'll see Carson on your left. Another staircase is to your left,
back a bit, and through the Carson doors. Take it down to the lower
level, where you'll find L02.
| Monday, July 10 |
| 8:00 | - | 9:00 |
Registration; continental breakfast |
| 8:30 | - | 9:00 |
Welcome and introduction |
| 9:00 | - | 10:00 |
Invited speaker
Hidde de Jong, INRIA
"Qualitative Modeling and Simulation of Genetic Regulatory Networks: From Piecewise-Affine Differential Equations to Reporter Gene Data (and Back)"
[abstract pdf] |
| 10:00 | - | 10:30 |
Break |
| 10:30 | - | 12:00 |
Session 1
Jennifer Abernethy, Elizabeth Bradley, and Robert Sharman
"Qualitative Reasoning About Small-Scale Turbulence in an Operational Setting"
[pdf]
Ricardo M.P. de Alcantara, Germana M. da Nobrega, and Paulo Salles
"Towards the use of Qualitative Reasoning for supporting Information Technology Management"
[pdf]
Johan de Kleer
"Modelling when connections are the problem"
[pdf]
|
| 12:00 | - | 2:00 |
Lunch (on your own) |
| 2:00 | - | 3:30 |
Session 2
Juan J. Flores and Andrzej Proskurowski
"Qualitative Reasoning and Bifurcations in Dynamic Systems"
[pdf]
Alicia Tang Y.C. and S.M.F.D. Syed Mustapha
"Representing SN1 Reaction Mechanism Using the Qualitative Process Theory"
[pdf]
Natalie Ross, Elizabeth Bradley, and Jean Hertzberg
"Dynamics-Informed Data Assimilation in a Qualitative Fluids Model"
[pdf]
|
| 3:30 | - | 4:00 |
Break |
| 4:00 | - | 5:30 |
Session 3
Reha K. Gerceker and A.C. Cem Say
"Using Polynomial Approximations to Discover Qualitative Models"
[pdf]
Nuria Agell, Xari Rovira, Monica Sanchez, and Francesc Prats
"Using Orders of Magnitude in Multi-attribute Decision-making"
[pdf]
A. Subias, L. Trave-Massuyes
"Discriminating qualitative model generation from classified data"
[pdf]
|
| 5:30 | - | 6:00 |
Business meeting part 1: QR 07 and 08 discussion |
| 6:00 | | |
Adjourn for dinner & evening (on your own) |
| |
| Tuesday, July 11 |
| 8:00 | - | 9:00 |
Continental breakfast |
| 9:00 | - | 10:00 |
Invited speaker
Ken Forbus, Qualitative Reasoning Group, Northwestern University
"Qualitative Representations as a Modeling Language for Cognitive Science"
[abstract pdf] |
| 10:00 | - | 10:30 |
Break |
| 10:30 | - | 12:00 |
Session 4
Bert Bredeweg, Anders Bouwer, Jelmer Jellema, Dirk Bertels, Floris Linnebank, and Jochem Liem
"Garp3 - A new Workbench for Qualitative Reasoning and Modelling"
[pdf]
Simon Hartley and Marc Cavazza
"A Qualitative Reasoning System for Behaviours in Interactive Systems"
[pdf]
Matthew Klenk and Kenneth D. Forbus
"Analogical Model Formulation for AP Physics Problems"
[pdf]
|
| 12:00 | - | 2:00 |
Lunch (on your own) |
| 2:00 | - | 3:30 |
Session 5
Ronald W. Ferguson, Neil Cutshaw, Huzaifa Zafar
"Toward Intelligent Drawing Constraints"
[pdf]
Andrew Lovett, Morteza Dehghani, and Kenneth Forbus
"Efficient Learning of Qualitative Descriptions for Sketch Recognition"
[pdf]
Bert Bredeweg, Paulo Salles, Anders Bouwer, and Jochem Liem
"Towards a Structured Approach to Qualitative Modelling"
[pdf]
|
| 3:30 | - | 5:00 |
Poster session |
| 5:00 | - | 7:00 |
Canoeing on the Connecticut River
Canoes are reserved at Ledyard
(down the hill from the campus).
Alternate plans are available in case of bad weather, or for those who
don't like water. |
| 7:45 | | |
Dinner
The Canoe Club
restaurant is located in downtown Hanover, and is entirely separate
from the canoeing place down on the river. |
| |
| Wednesday, July 12 |
| 8:00 | - | 9:00 |
Continental breakfast |
| 8:30 | - | 9:00 |
Business meeting part 2: QR 07 and 08 decision |
| 9:00 | - | 10:00 |
Session 6
Thomas R. Hinrichs, Nathan D. Nichols, and Kenneth D. Forbus
"Using Qualitative Reasoning in Learning Strategy Games: A Preliminary Report"
[pdf]
Praveen K. Paritosh
"The Heuristic Reasoning Manifesto"
[pdf]
|
| 10:00 | - | 10:30 |
Break |
| 10:30 | - | 2:00 |
Discussion & lunch: future of QR
The goal is to exchange ideas, identify high-impact directions, and
build momentum.
Before the workshop, please submit (by e-mail to qr06@cs.dartmouth.edu) a
paragraph or two describing a good QR research problem. We will
assemble these and distribute them to attendees. At the session, those
who submitted problems will make short statements, which all attendees
will then discuss. There will be a particular emphasis on rewards and
challenges of graduate study in QR. Groups will break out for lunch
and continued discussion.
|
| 2:00 | | |
End of workshop |
|
