Qualitative Reasoning Workshop 1995

Qualitative Reasoning Workshop 1995 Up: SWI Home Page

Ninth International Workshop on Qualitative Reasoning

Department of Social Science Informatics (S.W.I.)

May 16-19, 1995

University of Amsterdam, Amsterdam, The Netherlands

Following the continued success of the Qualitative Reasoning (QR) Workshops, the ninth international workshop will be held at the Department of Social Science Informatics (S.W.I.), University of Amsterdam, the Netherlands.

General Info
Final Programme
Programme Committee
Workshop Site Information
List of Participants

General Info

The Ninth International Workshop on Qualitative Reasoning will be held at the Department of Social Science Informatics (S.W.I.),University of Amsterdam, Amsterdam, the Netherlands from May 16 to May 19, 1995.
Registrations for the workshop are due April 1, 1995; the workshop fee is Dfl. 300,- (300 Dutch guilders). Subscription forms and more information about the workshop can be obtained from

bert@swi.psy.uva.nl

Tourist information

is available on

Go back to the top of this page

Final Programme

This programme is also available as LaTeX, ASCII text and PostScript file.

Tuesday, May 16, 1995

9.00 - 10.00 Registration
10.00 - 10.15 Welcome
10.15 - 12.15 Paper session 1 (session chair: Toyoaki Nishida)

Patrick Olivier, Andrew Ormsby, Keiichi Nakata:
Occupancy array-based kinematic reasoning
Núria Agell, J. Carlos Aguado, Núria Piera:
A qualitative images fusion
Steven Reece, Hugh Durrant-Whyte:
Qualitative navigation by sensor centric landmark tracking

12.15 - 14.00 Lunch
14.00 - 16.00 Paper session 2 (session chair: Ken Forbus)

Yury V. Tsybenko:
Decomposition into independent diagnosis subproblems
Oskar Dressler:
On-line diagnosis of dynamic systems based on qualitative models and dependency-recording diagnosis engines
Cis Schut, Bert Bredeweg:
Supporting qualitative model construction: Eliminating incorrectly predicted derivatives

16.00 - 16.30 Break
16.30 - 17.50 Paper session 3 (session chair: Yumi Iwasaki)

John O. Everett:
A theory of mapping from structure to function applied to engineering thermodynamics
Pim Borst, Hans Akkermans, Anita Pos, Jan Top:
The PhysSys ontology for physical systems

18.00 - 19.00 Canal boat trip to reception site
19.00 - 20.00 Welcome reception at Museum Amstelkring Ons' Lieve Heer op Solder

Wednesday, May 17, 1995

9.00 - 11.00 Paper session 4 (session chair: Ivan Bratko)

Vineet Gupta, Peter Struss:
Modeling a copier paper path: a case study in modeling transportation processes
Jaap Kamps, Gábor Péli:
Qualitative reasoning beyond the physics domain: the density dependence model of organizational ecology
Antonio C. Capelo, Liliana Ironi, Stefania Tentoni:
Automated selection of an accurate model of a visco-elastic material

11.00 - 11.30 Break
11.30 - 11.45 Introduction poster session (session chair: Adam Farquhar)
11.45 - 12.45 Poster session 1

Hatem Ahriz:
Introducing default models to diagnose and monitoring dynamic processes
Nicholas M. Gotts, Anthony G. Cohn:
A mereological approach to representing spatial vagueness
Yoshiteru Ishida:
Diagrammatic reasoning by propagating constraints through geometric objects: an application to truss analysis
Ioa S. Gavrila, Piet Iedema:
An integrated knowledge approach for conceptual equipment design
Yasushi Umeda, Tetsuo Tomiyama:
FBS modeling: Modeling scheme of function for conceptual design

12.45 - 14.00 Lunch

Free Afternoon

19.30 - 21.30 Meeting of the European QR community

Thursday, May 18, 1995

9.00 - 11.00 Paper session 5 (session chair: Louise Trave-Massuyes)

Bernard Yannou, Adrian Vasiliu:
Design platform for planar mechanisms based on qualitative kinematics
Monika Lundell:
A qualitative model of gradient flow in a spatially distributed parameter
Kenneth Man-Kam Yip:
Reasoning about fluid motion using active visualization

11.00 - 11.30 Break
11.30 - 11.45 Introduction poster session (session chair: Adam Farquhar)
11.45 - 12.45 Poster session 2

Laurent Ayrolles, Robert Faivre, François Guerrin:
Time abstraction and quantitative/qualitative interpretation of multiple dynamics processes
Juan Flores, Art Farley:
Reasoning about constant coefficient dynamic systems
Takashi Washio, Masaharu Kitamura:
A fast history-oriented envisioning method introducing temporal logic
Bernardo M. Seix, Andreu C. Mallofré, Núria P. Carreté:
A qualitative version of backpropagation learning

12.45 - 14.00 Lunch
14.00 - 16.00 Paper session 6 (session chair: Tetsuo Tomiyama)

Pascal Jézéquel, Laurent Zimmer:
A better expression of knowledge to reduce spurious behaviours in qualitative simulation
François Guerrin:
Dualistic algebra for qualitative analysis
Yoshiteru Ishida:
Symmetry-based reasoning about equations of physical laws

16.00 - 16.30 Break
16.30 - 18.30 Panel discussion
18.30 - 19.30 Business meeting

20.30 Conference diner at Lonny's (Indonesian Restaurant)

Friday, May 19, 1995

9.00 - 11.00 Paper session 7 (session chair: Ken Forbus)

Yumi Iwasaki, Adam Farquhar, Vijay Saraswat, Daniel Bobrow, Vineet Gupta:
Modeling time in hybrid systems: How fast is ``instantaneous''?
Giorgio Brajnik:
Introducing boundary conditions in semi-quantitative simulation
Marcos Vescovi, Adam Farquhar, Yumi Iwasaki:
Numerical interval simulation: Combined qualitative and quantitative simulation to bound behaviors of non-monotonic systems

11.00 - 11.30 Break
11.30 - 12.50 Paper session 8 (session chair: Yumi Iwasaki)

Pieter J. Mosterman, Gautam Biswas:
Modeling discontinuous behavior with hybrid bond graphs
Gerwald Lichtenberg, Jan Lunze:
Observation of unmeasurable states by means of qualitative models

12.50 - 13.20 Adjourn

Go back to the top of this page

Programme Committee

Ivan Bratko: University of Ljubljana, Slovenia

Go back to the top of this page

Workshop Site Information

The workshop site of the Ninth International Workshop on Qualitative Reasoning will be the Faculty of Psychology of the Universiteit van Amsterdam (address: Roetersstraat 15). All sessions will take place in room A 919, which is located on the 9th floor.

Registration

Registration will take place at Roetersstraat 15 on Tuesday, May 16, from 9.00 - 10.00 am. A name tag and other workshop materials, such as the working papers, will then be handed out to you. The registration desk will be located in the main hall on the ground floor of the A building.

If necessary, you can be reached during workshop hours at the following numbers: + 31 20 525 6789 (telephone) or + 31 20 525 6896 (fax). For calls from Amsterdam, dial the last 7 numbers only. Messages will be left with the organisation.

Accessibility of the workshop site

From the Hotels

The Botel is located near Central Station. From there, the workshop site can be reached by subway (see under 'public transport').
The Bridge Hotel, located at the river Amstel, is at a walking distance from the workshop site, via Nieuwe Achtergracht or Nieuwe Prinsengracht.

Further Information

If you need further information concerning your registration or transportation, please do not hesitate to contact the Conference office, +31 20 525 2019/2690 (telephone) or +31 20 525 4799 (fax).

Go back to the top of this page