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


9:30 – 10:00


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


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


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 –


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


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)