共 50 条
- [2] Paraconsistent reasoning via quantified Boolean formulas, I: Axiomatising signed systems [J]. LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 320 - 331
- [3] Signed Systems for Paraconsistent Reasoning [J]. Journal of Automated Reasoning, 1998, 20 : 191 - 213
- [4] Signed systems for paraconsistent reasoning [J]. JOURNAL OF AUTOMATED REASONING, 1998, 20 (1-2) : 191 - 213
- [5] Paraconsistent reasoning via quantified Boolean formulas, II: Circumscribing inconsistent theories [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDING, 2003, 2711 : 528 - 539
- [6] Encoding quantified CSPs as quantified Boolean formulae [J]. ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 176 - 180
- [7] A simple signed system for paraconsistent reasoning [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 404 - 416
- [8] Boolean Propagation Based on Literals for Quantified Boolean Formulae [J]. ECAI 2006, PROCEEDINGS, 2006, 141 : 452 - +
- [9] Symmetry Breaking in Quantified Boolean Formulae [J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 2262 - 2267