8:40-8:50	Introductory remarks

8:50-10:30 Session I BELIEF REVISION

 Belief Revision in non-classical logic I
 Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo

 Redefining Belief Change Terminology for Implemented Systems
 Frances L. Johnson, Stuart C. Shapiro

 A logic to reason on contradictory beliefs with a majority approach
 Laurence Cholvy, Christophe Garion

 An Analytic Tableaux based Characterization of Database Repairs for
 Consistent Query Answering
 Leopoldo Bertossi, Camilla Schwind

10:30-11:00	Coffee break

11:00-12:15	Session II INFORMATION FUSION

 Rational Postulates for possibilistic logic merging operations
 S. Benferhat, D. Dubois, S. Kaci, H. Prade

 Syntactic Representations of Semantic Merging Operations
 Thomas Meyer, Aditya Ghose, Samir Chopra

 Multi-Agent Context-Based Merging
 Thomas Meyer, Aditya Ghose, Samir Chopra


12:15-2:15	Lunch

2:15-3:30      Session III PARACONSISTENCY

 Automated Paraconsistent Reasoning via Model Checking
 Steve Easterbrook, Marsha Chechik

 Computational Realization of Dialectics by Argumentation  
 Hajime Sawamura

 Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning
 Arnon Avron, Iddo Lev

3:30-4:00     Coffee Break

4:00-4:50     Session IV MISCELLANEOUS

 Tableaux for Approximate Reasoning     
 Marcelo Finger, Renata Wassermann

 A High-throughput System to Resolve Inconsistent Reading Frame  
 Predictions for Expressed Sequence Tags
 Yue Chen, John Carlis, Elizabeth Shoop, John Riedl

4:50-5:15     Break

5:15-6:30     Panel
	      Research Issues in Handling Inconsistency