论文信息 - Advanced knowledge-based systems - 字舞流文

Advanced knowledge-based systems

Alfredo Cuzzocrea

[1] Bernhard Nebel,et al. Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[2] Francesco M. Donini,et al. Decidable reasoning in terminological knowledge representation systems , 1993 .

[3] Andrea Schaerf,et al. Reasoning with Individuals in Concept Languages , 1993, Data Knowl. Eng..