Conferences in DBLP

Paraconsistent Computational Logic (pcl)
2002 (conf/pcl/2002)

1. Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
   Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:1-15 [Conf]
   
2. Guo-Qiang Zhang
   Axiomatic Aspects of Default Inference. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:17-32 [Conf]
   
3. Jørgen Villadsen
   A Paraconsistent Higher Order Logic. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:33-49 [Conf]
   
4. Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Maurice Bruynooghe
   Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:51-65 [Conf]
   
5. Michael J. Maher
   A Model-Theoretic Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:67-80 [Conf]
   
6. Jan Maluszynski, Aida Vitória
   Defining Rough Sets by Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:81-90 [Conf]
   
7. Diderik Batens
   On a Partial Decision Method for Dynamic Proofs. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:91-108 [Conf]
   
8. Dina Q. Goldin, Peter Wegner
   Paraconsistency of Interactive Computation. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:109-118 [Conf]
   
9. François Bry
   An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
   Paraconsistent Computational Logic, 2002, pp:119-134 [Conf]