共 50 条
- [1] Proof Complexity of Resolution-based QBF Calculi [J]. 32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015), 2015, 30 : 76 - 89
- [2] On relativisation and complexity gap for resolution-based proof systems [J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 142 - 154
- [5] Resolution of singularities in mixture models and its stochastic complexity [J]. ICONIP'02: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON NEURAL INFORMATION PROCESSING: COMPUTATIONAL INTELLIGENCE FOR THE E-AGE, 2002, : 1355 - 1359
- [6] Resolution-Based Argumentation Semantics [J]. COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 25 - 36
- [7] REDUCTION RULES FOR RESOLUTION-BASED SYSTEMS [J]. ARTIFICIAL INTELLIGENCE, 1991, 50 (02) : 141 - 181
- [8] Abstract interpretation of resolution-based semantics [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4724 - 4746