9:30 -- 10:00
Norman Foo, NICTA/UNSW, Australia
Toward the Merging of Extended Logic Programs

10:00 -- 10:30
Thomas Meyer, NICTA/UNSW, Australia
Toward Ontology Revision in Description Logic

10:30 -- 11:00 Coffee

11:00 -- 11:30
Pavlos Peppas, U, Patras, Greece
Conciseness Considerations for Logics of Actions

11:30 -- 12:00 Discussion

12:00 -- 1:30 Lunch

1:30 -- 2:00
Jerome Lang, IRIT Toulouse, France
Revision and Update in Multiagent Belief Structures

2:00 -- 2:30
Gabriele Kern-Isberner, Fern U, Germany
Using Conditionals for Preferential Reasoning

2:30 -- 3:00 Coffee

3:00 -- 3:30
Odile Papini, U Toulon et du Var, France
Representation, Reasoning, and Algorithmic Issues in Geographical
Information Systems: The REV!GIS Solution

3:30 -- 4:00 Talk 7
Marc Denecker, U Leuver, Belgium
On the Role of Inductive Definitions in Knowledge Representation

4:00 -- 4:30 Discussion