Proceedings of the 19th International
Workshop on Qualitative Reasoning QR-05

[ Individual file access ]

Foreword and Content

Author index

May, 18th 2005

8:30 – 9:30

Registration

9:30 – 10:00

Welcome

10:00 – 12:00

Session 1 – Applications

A Qualitative Model for Hybrid Control	Wolfgang Kleissl and Michael W. Hofbaur
Activation time imaging of ventricular excitation: a qualitative spatio-temporal feature detector	Liliana Ironi and Stefania Tentoni
Using abstract dependencies in debugging	Franz Wotawa and Safeeullah Soomro

12:00 – 13:30

Lunch

13:30 – 14:50

Session 2 - Vision / Future

Qualitative futures	C. J. Price, L. Travé-Massuyès, R. Milne, L. Ironi, B. Bredeweg, M. H. Lee, P. Struss, N. Snooke, P. Lucas, M. Cavazza
Vision for the Future of Education Systems based on Qualitative Reasoning	Bert Bredeweg, Michael Neuman, Tim Nuttle, Chris Price, Iain Russell, Janet Thomas, and Franz Wotowa

14:50 – 15:30

Posters (short presentations)

A Qualitative Model of Plant Growth Based on Exploitation of Resources	Tim Nuttle, Bert Bredeweg, and Paulo Salles
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach	Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
Sub-linear Algorithms for Landmark Discovery from Black Box Models	Manan Sanghi, Praveen Paritosh, Reuben Thomas
Towards support in building qualitative knowledge models	Vania BESSA MACHADO, Roland GROEN and Bert BREDEWEG
Numeric Landmarks to Obtain a Discretization Reflecting Output Qualitative Order	N. Agell, X. Rovira, M. Sánchez, F. Prats, F. Ruiz
Qualitative Representations of Indicators of Environmental Sustainability of the Millennium Development Goals	Paulo Salles
Structural Representation and Matching of Articulatory Speech Structures based on the Evolving Transformation System (ETS) Formalism	Alexander Gutkin and David Gay
Monitoring-based diagnosis of discrete-event systems with uncertain observations	Gianfranco Lamperti, Marina Zanella
Solving Everyday Physical Reasoning Problems by Analogy using Sketches	Matthew Klenk, Ken Forbus, Emmett Tomai, Hyeonkyeong Kim, and Brian Kyckelhahn
Parallel Fuzzy Qualitative Reasoning	Allan M Bruce and George M Coghill
Automated Test Reduction	Peter Struss
Qualitative Reasoning for Software Systems with Graph Homomorphisms	Constantinos Karapoulios and Spyros Xanthakis

15:30 – 16:00

Coffee break

16:00 – 17:00

Poster session (cont.)

17:00 – 18:20

Session 3 - Modelling 1

Qualitative Simulation of an Artificial Life Ecosystem	Simon Hartley, Marc Cavazza, Louis Bec , Jean-Luc Lugrin, and Sean Crooks
Compositional Bayesian Modelling and Its Application to Decision Support in Crime Investigation	Jeroen Keppens, Qiang Shen and Mark Lee

18:20 – 19:20

Business meeting

May, 19th 2005

9:00 – 10:00

Invited Talk 1

Extended Abstract - Object Recognition via Robust Learning

Horst Bischof

10:00 – 10:30

Coffee break

10:30 – 12:30

Session 4 - Modelling 2

Using Qualitative Constraints In Ozone Prediction	Jure Zabkar, Daniel Vladusic, Rahela Zabkar, Danijel Cemas, Dorian Suc, and Ivan Bratko
Towards a qualitative model of everyday political reasoning	Kenneth D. Forbus & Sven E. Kuehne
The Use of Qualitative Reasoning Models of Interactions Between Populations to Support Causal Reasoning of Deaf Students	Paulo Salles, Heloisa Lima-Salles and Bert Bredeweg

13:30 – 19:30

Bus tour to South-East Styria

19:30 –

Dinner

May, 20th 2005

9:00 – 10:00

Invited Talk 2

Qualitative Reasoning and Global Change Research: Experiences from Modeling Human-Environment Systems for Policy Advice

Gerhard Petschel-Held

10:00 – 10:30

Coffee break

10:30 – 12:30

Session 5 – Robotics

Qualitative Representation of Kinematic Robots	Honghai Liu and George M. Coghill
Cognitive Maps for Mobile Robot Navigation: A Hybrid Representation Using Reference Systems	Juan Carlos Peris Broch and MariaTeresa Escrig Monferrer
From the real world to its qualitative representation - Practical lessons learned	Gerald Steinbauer, Jörg Weber, and Franz Wotawa

12:30 – 14:00

Lunch

14:00 – 16:00

Session 6 – Methods

Functional decomposition for interpretation of model based simulation	Jonathan Bell, Neal Snooke and Chris Price
Can We Do Trigonometry Qualitatively	Honghai Liu and George M. Coghill
Causes of Ineradicable Spurious Predictions in Qualitative Simulation	Özgür Yılmaz and A.C.Cem Say

16:00 – 16:30

Closing session

17:00 – 19:00

Guided tour (Graz city center)

Proceedings of the 19th International Workshop on Qualitative Reasoning QR-05

Proceedings of the 19th International
Workshop on Qualitative Reasoning QR-05