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 | |