QR 2003

Wednesday, 20

8h30min - 9h Registration

9h - 9h30min Opening session

Session 1
Chair: Juan Flores

9h30min - 10h Active Data Mining of Correspondence for Qualitative Assessment of Scientific Computations Chris Bailey-Kellogg and Naren Ramakrishnan

10h -10h30min On the problem of adjacency relations in the Spatial Aggregation approach Liliana Ironi and Stefania Tentoni

10h30min - 11h Coffee Break

Session 2
Chair: Nuria Agell

11h - 11h30min Maintaining Spatial Relations in an Incremental Diagrammatic Reasoner Ronald W. Ferguson, Joseph L. Bokor, Rudolph L. Mappus IV and Adam Feldman

11h30min - 12h Qualitative Spatial Reasoning for Visual Grouping in Sketches
Kenneth D. Forbus, Emmett Tomai and Jeffrey Usher

12h - 14h Lunch time

Session 3
Chair: Neal Snooke

14h - 14h30min Compositional Ecological Modelling Revisited: Casting Compositional Ecological Modelling Problems as Dynamic Constraint Satisfaction Problems Jeroen Keppens and Qiang Shen

14h30min - 15h The Ants' Garden: Qualitative models of complex interactions between populations Paulo Salles, Bert Bredeweg and Nurit Bensusan

15h - 15h30min Coffee Break

Session 4
Chair: Waldir Roque

15h30min - 16h Automatically Generating Tutoring Questions for Qualitative Simulations Floor Goddijn, Anders Bouwer and Bert Bredeweg

16h30min - 17h00min On the Representation of Physical Quantities in Natural Language Sven E. Kuehne

Invited lecture
17h - 18h Holistic Metamodelling and its relevance to QR Robert Muetzelfeldt

Thursday, 21

Session 5
Chair: Peter Struss

9h - 9h30min Qualitative Model Abstraction for Diagnosis Yuhong Yan

9h30min - 10h Debugging With an Enriched Dependency-based Model or How to Distinguish Between Aliasing and Value Assignment Rong Chen and Franz Wotawa

10h -10h30min Adaptable Modeling of Electrical Systems Chris J. Price, Neal A. Snooke and Stuart D. Lewis

10h30min - 11h Coffee Break

Session 6
Chair: Liliana Ironi

11h - 11h30min Subsystem Reduction for Qualitative Simulation Silvia B. González-Brambila and Eduardo F. Morales

11h30min - 12h A Kernel Defined over Qualitative Spaces of Orders of Magnitude
Núria Agell, Xari Rovira, Mónica Sánchez and Francesc Prats

12h - 14h Lunch time

14h - 18h Social programme

20h Gala dinner

Friday, 22

Session 7
Chair: Ken Forbus

9h - 9h30min Analysis of Genetic Regulatory Networks: A Model-Checking Approach Grégory Batt, Hidde de Jong, Johannes Geiselmann and Michel Page

9h30min - 10h Explaining how Engineering Devices Work with AGE Eduardo F. Morales and Silvia B. González-Brambila

10h - 10h30min Alternative Reality: Qualitative Physics for Digital Arts Marc Cavazza, Simon Hartley, Jean-Luc Lugrin and Mikael Lebras

10h30min -11h Coffee Break

Session 8
Chair: Chris Bailey-Kellog

11h -12h Poster session

11h05min Qualitative Physiology: from Qualitative Processes to Virtual Patients Marc Cavazza and Altion Simo

11h10min Limitations of the ConfluenceModel for Circuit Analysis Jaime Cerda, Juan Flores and Ernesto Magaña

11h15min A Rule-Based System for Fire Management in the Brazilian Cerrado Vegetation Walter Nascimento Neto and Heloisa S. Miranda

11h20min Design of a Model-based Decision Support System for Water Treatment Peter Struss, Maria Bendati, Elenara Lersch, Walter Roque and Paulo Salles

12h - Committee meeting (only members of the Program Committee)

12h - 14h Lunch time

Session 9
Chair: Stefania Tentoni

14h - 14h30min Building Qualitative Models with HOMER: A Study in Usability and Support Vânia Bessa Machado and Bert Bredeweg

14h30min - 15h Qualitative models about stream ecosystem recovery: exploratory studies Paulo Salles, Bert Bredeweg and Symone Araújo

15h - 15h30min A Sketch of a Theory of Quantity Praveen K. Paritosh

15h30min - 16h Coffee Break

Final session

16h - 17h Business Meeting (for all)

17h - 17h30min Closing session

OVERVIEW

Course
'Fundamentos de Raciocínio Qualitativo e de Raciocínio Baseado em Modelos'

Objectives:
" to present the theoretical basis of QR/MBR and an overview of recent developments;

" to discuss applications of QR/MBR techniques, emphasizing applications to ecological modelling and education.

Target audience: post-graduate students, teachers, technicians, researchers.
Lecturer: Paulo Salles (Universidade de Brasília - Brazil)
Date: 15-18th July 2003
Local: Auditorium of the Department of Electric Engineering - Universidade de Brasília
(Language: Portuguese)

[Top]

Course
"An introduction to ecological modelling using the Simile visual modelling environment"

Objectives:
" to present fundamentals of ecological modelling applied to different ecological problems and different levels of disaggregation;

" to develop ecological models according to different modelling paradigms and implement them in Simile.

Target audience: post-graduate students, teachers, technicians, researchers.
Lecturer: Robert Muetzelfeldt (University of Edinburgh)
Date: 11 - 15th August 2003
Local: Institute of Biological Sciences - University of Brasília
(Language: English)

[Top]

Course
"Applications of QR/MBR to systems identification and to electric circuit analysis"
Objectives:

" to provide students, technicians and researchers with an introduction to the state of the art in the field of circuit analysis;

" to present different techniques and discuss the application of QR/MBR techniques to reasoning about electric circuit analysis.

Target audience: post-graduate students, teachers, technicians, researchers.
Lecturer: Juan Flores (Universidad Michoacana - Mexico)
Date: 18 e 19th August 2003
Local: Auditorium of the Department of Electric Engineering - University of Brasília
(Language: Spanish)

[Top]

Objective:
" to discuss applications of QR to financial analysis and risk analysis.

Target audience: post-graduate students, teachers, technicians, researchers.

Lecturer: Núria Agell (ESADE - Spain)
Date: 19th August 2003
Local: Auditorium of Bank of Brasil
(Language: Spanish)

[Top]

Objectives:
" to present the state of the art on applications of QR in Education;

Target audience: post-graduate students, teachers, technicians, researchers.

Lecturers: Ken Forbus (Northwestern University -US); Bert Bredeweg (University of Amsterdam - The Netherlands)
Date: 19th August 2003
Local: Auditorium of FINATEC - University of Brasília
(Language: English)

Objectives:
" to present the state-of-the art of research and applications of QR/MBR to different areas;

Technical program: oral communications and poster presentation.
Only the papers and posters reviewed and selected by the QR03 International Program Committee will be presented.

Date: 20 - 22nd August 2003
Local: Auditorium of FINATEC - University of Brasília
(Language: English)

Objectives:
" to present the state of the art of research and applications of QR/MBR to the management of water resources.

Invited speakers: Ken Forbus (Northwestern University -US); Bert Bredeweg (University of Amsterdam - The Netherlands); Peter Struss (Technical University of Munich- Germany); Ian Cowx (Hull University - UK); Paulo Salles (Universidade de Brasília - Brazil)

Target audience: researchers, post-graduate students and technicians involved with the management of water resources.

Date: 23rd August 2003
Local: Casa de Niemeyer - University of Brasília
(Language: English)