共 50 条
- [41] Reasoning about knowledge using defeasible logic [J]. ARGUMENT & COMPUTATION, 2011, 2 (2-3) : 131 - 155
- [43] A NATURAL DEDUCTION SYSTEM FOR REASONING ABOUT KNOWLEDGE [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 848
- [45] Building up and reasoning about architectural knowledge [J]. QUALITY OF SOFTWARE ARCHITECTURES, 2006, 4214 : 43 - +
- [46] Reasoning about dependencies in partial knowledge bases [J]. INES 2005: 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, 2005, : 135 - 138
- [47] Reasoning about hybrid probabilistic knowledge bases [J]. PRICAI 2006: TRENDS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2006, 4099 : 130 - 139
- [49] Symbolic Approximate Reasoning with Fuzzy and Multi-valued Knowledge [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS, 2017, 112 : 800 - 810