Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/pcl/BesnardSTW02
AU - Besnard, Philippe
AU - Schaub, Torsten
AU - Tompits, Hans
AU - Woltran, Stefan
TI - Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
BT - 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)
SP - 1
EP - 15
PY - 2002//
UR - https://arxiv.org/abs/cs/0207084
ER -
