共 50 条
- [2] Signed Systems for Paraconsistent Reasoning Journal of Automated Reasoning, 1998, 20 : 191 - 213
- [3] Paraconsistent Reasoning for OWL 2 WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2009, 5837 : 197 - +
- [4] Algorithms for paraconsistent reasoning with OWL SEMANTIC WEB: RESEARCH AND APPLICATIONS, PROCEEDINGS, 2007, 4519 : 399 - +
- [5] Reasoning in paraconsistent frame systems PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON CSCW IN DESIGN, 1997, : 239 - 244
- [6] Presumptive Reasoning in a Paraconsistent Setting ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 233 - 244
- [7] Incorporating time in paraconsistent reasoning 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XVI, PROCEEDINGS: COMPUTER SCIENCE III, 2002, : 216 - 220
- [8] A simple signed system for paraconsistent reasoning LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 404 - 416
- [9] INCONSISTENCIES HANDLING - NONMONOTONIC AND PARACONSISTENT REASONING LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 214 - 219