See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/220907584 Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. Conference Paper · July 2003 DOI: 10.1007/978-3-540-45062-7_43 · Source: DBLP CITATIONS 9 READS 10 4 authors, including: Torsten Schaub Universität Potsdam 312 PUBLICATIONS 3,995 CITATIONS SEE PROFILE Hans Tompits TU Wien 155 PUBLICATIONS 2,852 CITATIONS SEE PROFILE Stefan Woltran TU Wien 194 PUBLICATIONS 1,940 CITATIONS SEE PROFILE All content following this page was uploaded by Torsten Schaub on 26 January 2014. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.