PCL 2002: Copenhagen, Denmark

Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (Eds.): Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent Computational Logic, on July 27, in Copenhagen, Denmark, as part of the Federated Logic Conference (FLoC). Datalogiske Skrifter 95 Roskilde University, Roskilde, Denmark 2002

@proceedings{DBLP:conf/pcl/2002,
  editor    = {Hendrik Decker and
               J{\o}rgen Villadsen and
               Toshiharu Waragai},
  title     = {Paraconsistent Computational Logic, This proceedings volume contains
               the papers presented at the ICLP 2002 workshop Paraconsistent
               Computational Logic, on July 27, in Copenhagen, Denmark, as part
               of the Federated Logic Conference (FLoC)},
  booktitle = {Paraconsistent Computational Logic},
  publisher = {Roskilde University, Roskilde, Denmark},
  series    = {Datalogiske Skrifter},
  volume    = {95},
  year      = {2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Axioms

Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran:
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. 1-15
Guo-Qiang Zhang:
Axiomatic Aspects of Default Inference. 17-32
Jørgen Villadsen:
A Paraconsistent Higher Order Logic. 33-49

Models and Sets

Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe:
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. 51-65
Michael J. Maher:
A Model-Theoretic Semantics for Defeasible Logic. 67-80
Jan Maluszynski, Aida Vitória:
Defining Rough Sets by Extended Logic Programs. 81-90

Dynamics, Interaction and Nonmonotonicity

Diderik Batens:
On a Partial Decision Method for Dynamic Proofs. 91-108
Dina Q. Goldin, Peter Wegner:
Paraconsistency of Interactive Computation. 109-118
François Bry:
An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. 119-134