共 50 条
- [21] Paraconsistent Reasoning with Quasi-classical Semantic in ALC WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2008, 5341 : 222 - 229
- [23] Paraconsistent preferential reasoning by signed quantified Boolean formulae ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 773 - 777
- [24] Representing paraconsistent reasoning via quantified propositional logic INCONSISTENCY TOLERANCE, 2004, 3300 : 84 - 118
- [25] Three-Valued Paraconsistent Reasoning for Semantic Web Agents AGENT AND MULTI-AGENT SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PT I, PROCEEDINGS, 2010, 6070 : 152 - 162
- [26] PARACONSISTENT RULE-BASED REASONING WITH GRADED TRUTH VALUES JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (01): : 185 - 220
- [27] Paraconsistent Before-After Relation Reasoning Based on EVALPSN NEW DIRECTIONS IN INTELLIGENT INTERACTIVE MULTIMEDIA, 2008, 142 : 265 - +
- [29] A unit resolution-based approach to tractable and paraconsistent reasoning ECAI 2004: 16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 110 : 803 - 807