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

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

Last update Fri May 25 08:31:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page