|
Monday, August 2nd |
|
|
8:00am -- |
Registration |
9:00am |
|
|
|
9:00am -- |
Opening session |
9:30am |
|
|
|
9:30am -- |
Session 1: Engineering
Modeling |
10:30 AM |
Deviation Models Revisited |
|
Peter Struss |
|
The need for qualitative
reasoning in fuzzy modeling: robustness and interpretability issues |
|
Raffaella Guglielmann and Liliana Ironi |
10:30am -- |
BREAK |
11:00am |
|
11:00am |
Session 2: Engineering
Reasoning |
12:00pm |
Controller Synthesis using
Qualitative Models and Constraints |
|
Subramanian Ramamoorthy and Benjamin J. Kuipers |
|
Describing system functions
that depend on intermittent and sequential behavior |
|
Jonathan Bell and Neal Snooke |
12:00pm -- |
LUNCH |
2:00pm |
|
2:00pm -- |
Session 3: Modeling |
3:00pm |
Causality Enabled
Compositional Modelling of Bayesian Networks |
|
Jeroen Keppens and Qiang Shen |
|
Using Strategies and AND/OR
Decomposition for Back of the Envelope Reasoning |
|
Praveen K. Paritosh and Kenneth D. Forbus |
3:00pm |
Session 4: Qualitative
Reasoning |
4:00pm |
Abductive Proofs as Models
of Qualitative Reasoning |
|
Maxim Makatchev, Pamela W. Jordan, Umarani Pappuswamy and Kurt VanLehn |
|
Qualitative Reasoning about
Food Webs: Exploring Alternative Representations |
|
Tim Nuttle, Bert
Bredeweg and Paulo
Salles |
4:00pm |
BREAK |
4:30pm |
|
4:30pm |
Session 5: Poster Session |
5:30pm |
Poster presenters will give
a three minute summary (no more than two power-point slides, submitted in
advance to be part of a combined presentation) |
|
Posters will be on display
for the duration of the workshop |
|
|
|
A methodology for
qualitative learning in time series |
|
F.J. Cuberos, Juan Antonio
Ortega, Luis Gonzalez and Francisco
Velasco |
|
A qualitative model of the
Daniell cell for chemical education |
|
Paulo Salles, Ricardo
Gauche and Patrícia Virmond |
|
A qualitative model of the
nutrient spiraling in lotic ecosystems to support decision makers for river
management |
|
Michael Neumann and Bert
Bredeweg |
|
An Approach to Qualitative
Radial Basis Function Networks over Orders of Magnitude |
|
Xari Rovira, Núria Agell,
Mónica Sánche, Francesc Prats and Xavier Parra |
|
Application of Qualitative
Reasoning to Robotic Soccer |
|
Gordon Fraser, Gerald
Steinbauer and Franz Wotawa |
|
Development of a
Qualitative Model for Investigating Benthic Community Response to
Anthropogenic Activities |
|
Desiree D. Tullos, Michael
Neumann,Juan, Jose Alvarez Sanchez |
|
Dynamic
Ontological Support for Qualitative Reasoning in The Knowledge
Collective |
|
Jay Yusko and Martha Evens |
|
Jitter in Self-Explanatory
Simulation |
|
Brian A. Kyckelhahn and
Kenneth D. Forbus |
|
Learning physical concepts
using a qualitative approach: a teaching proposal |
|
Jose V. Alvarez-Bravo, Juan
J.Alvarez-Sanchez and Francisco J. Gonzalez-Cabrera |
|
Performing FMEA Using
Ontologies |
|
Lars Dittmann, Tim
Rademacher, Stephan Zelewski |
|
Qualitative Modelling of
Kinematic Robots |
|
Honghai Liu and George M.
Coghill |
|
Similarity-based
Qualitative Simulation: A preliminary report |
|
Jin Yan and Kenneth D. Forbus |
|
Toward a Theory of
Qualitative Visual Reasoning in Microanatomy |
|
John R. Pani, Julia
H. Chariker, Ronald D. Fell |
|
|