PCL program

Saturday July 27th, 2002

Sessions take place in auditorium 7 unless otherwise indicated.

PCL's program is also available with abstracts or side by side with other meetings.

08:55-10:30  Session 1: Axioms

08:55  Opening and Welcome
09:00  Philippe Besnard, U Potsdam, Germany; Torsten Schaub, U Potsdam, Germany; Hans Tompits, Vienna U of Techn., Austria; and Stefan Woltran, Vienna U of Techn., Austria
Paraconsistent reasoning via quantified boolean formulas, I: Axiomatising signed systems
09:30  Guo-Qiang Zhang, Case Western Reserve U, USA
Axiomatic aspects of default inference
10:00  Jørgen Villadsen, Techn. U of Denmark
A paraconsistent higher order logic

10:30-11:00  Refreshments

11:00-12:30  Session 2: Models and Sets

11:00  Ofer Arieli, Academic College of Tel-Aviv, Israel; Marc Denecker, U Brussels (Libre), Belgium; Bert Van Nuffelen, K.U. Leuven, Belgium; and Maurice Bruynooghe, K.U. Leuven, Belgium
Repairing inconsistent databases: A model-theoretic approach and abductive reasoning
11:30  Michael Maher, Loyola U Chicago, USA
A model-theoretic semantics for defeasible logic
12:00  Jan Maluszynski and Aida Vitória, Linköping U, Sweden
Defining rough sets by extended logic programs

12:30-13:45  Lunch

13:45-15:30  Session 3: Dynamics, Interaction and Nonmonotonicity

13:45  Diderik Batens, Ghent U, Belgium
Invited talk: On a partial decision method for dynamic proofs
14:30  Dina Goldin, U Connecticut, USA and Peter Wegner, Brown U, USA
Paraconsistency of interactive computation
15:00  François Bry, U Munich, Germany
An almost classical logic for logic programming and nonmonotonic reasoning

15:30-16:00  Refreshments

16:00-17:30  Session 4: Panel and Other Issues

16:00  Panel: Paraconsistency and Logic Programming -- An Odd Couple or a Natural Pairing?
16:45  Discussion: Publication of Proceedings
17:15  Closing

19:00-21:00  Dinner
Room: Restaurant A Hereford Beefstouw