共 50 条
- [31] GKC: A Reasoning System for Large Knowledge Bases [J]. AUTOMATED DEDUCTION, CADE 27, 2019, 11716 : 538 - 549
- [32] ANALOGICAL REASONING FROM CHEMICAL KNOWLEDGE BASES [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1989, 197 : 10 - CINF
- [33] A local approach to reasoning with conditional knowledge bases [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1996, : 404 - 407
- [34] Reasoning about dependencies in partial knowledge bases [J]. INES 2005: 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, 2005, : 135 - 138
- [35] Trust and Hybrid Reasoning for Ontological Knowledge Bases [J]. WWW'14 COMPANION: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON WORLD WIDE WEB, 2014, : 1189 - 1194
- [39] Partitioning OWL Knowledge Bases for Parallel Reasoning [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2014, : 108 - 115
- [40] HIERARCHICAL KNOWLEDGE BASES AND EFFICIENT DISJUNCTIVE REASONING [J]. PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 33 - 43