Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.

Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran

Browse the full ECSQARU paper archive.