共 50 条
- [42] Theory of belief degrees for reasoning about knowledge [J]. IITA 2007: WORKSHOP ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, PROCEEDINGS, 2007, : 367 - +
- [44] PROPOSITIONAL LOGICS FOR THE REASONING ABOUT KNOWLEDGE INTEGRATIONS [J]. ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 36 - 45
- [45] Reasoning about knowledge using defeasible logic [J]. ARGUMENT & COMPUTATION, 2011, 2 (2-3) : 131 - 155
- [47] A NATURAL DEDUCTION SYSTEM FOR REASONING ABOUT KNOWLEDGE [J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 847 - 848
- [49] Building up and reasoning about architectural knowledge [J]. QUALITY OF SOFTWARE ARCHITECTURES, 2006, 4214 : 43 - +
- [50] Reasoning about dependencies in partial knowledge bases [J]. INES 2005: 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, 2005, : 135 - 138