共 50 条
- [2] KNOWLEDGE SELECTION IN LARGE KNOWLEDGE BASES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 611 : 291 - 310
- [4] Rapid development of large knowledge bases 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 2169 - 2174
- [5] A METHODOLOGY FOR VALIDATING LARGE KNOWLEDGE BASES INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1990, 33 (04): : 361 - 371
- [6] DEVELOPMENT OF LARGE SCIENTIFIC KNOWLEDGE BASES ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1: ARTIFICIAL INTELLIGENCE, 2010, : IS23 - IS23
- [7] DEVELOPMENT OF LARGE SCIENTIFIC KNOWLEDGE BASES ICAART 2010: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2: AGENTS, 2010, : IS23 - IS23
- [8] GKC: A Reasoning System for Large Knowledge Bases AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 538 - 549
- [9] COMMERCIAL APPLICATIONS OF LARGE PROLOG KNOWLEDGE BASES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 567 : 32 - 40