| PCL program | | Saturday July 27th, 2002 |
Sessions take place in auditorium 7 unless otherwise indicated.
PCL's program is also available with abstracts.
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