An Empirical Analysis of Terminological Representation Systems Terminological Representation Systems
暂无分享,去创建一个
[1] W. Nutt,et al. Subsumption algorithms for concept languages , 1990 .
[2] Hector J. Levesque,et al. The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.
[3] Brian C. Williams,et al. Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.
[4] Peter F. Patel-Schneider,et al. The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.
[5] Timothy W. Finin,et al. Enabling Technology for Knowledge Sharing , 1991, AI Mag..
[6] Bernhard Nebel,et al. Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..
[7] Werner Nutt,et al. Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.
[8] Ronald J. Brachman,et al. An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..
[9] Peter F. Patel-Schneider,et al. Term Subsumption Languages in Knowledge Representation , 1990, AI Mag..
[10] Manfred Schmidt-Schauß,et al. Subsumption in KL-ONE is Undecidable , 1989, KR.
[11] Udo Pletat,et al. The LILOG knowledge representation system , 1991, SGAR.
[12] Franz Baader,et al. Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.
[13] Bernd Owsnicki-Klewe,et al. Configuration as a Consistency Maintenance Task , 1988, GWAI.
[14] Robert M. MacGregor,et al. Inside the LOOM description classifier , 1991, SGAR.
[15] Albrecht Schmiedel,et al. The BACK System Revisited , 1989 .
[16] Premkumar T. Devanbu,et al. LaSSIE—a knowledge-based software information system , 1991, ICSE '90.
[17] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..
[18] Wolfgang Wahlster,et al. Plan-Based Integration of Natural Language and Graphics Generation , 1993, Artif. Intell..
[19] E. André,et al. WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation , 1992 .
[20] Alfred Kobsa. First experiences with the SB-ONE knowledge representation workbench in natural-language applications , 1991, SGAR.
[21] Frank J. Oles,et al. A Non-Well-Founded Approach to Terminological Cycles , 1992, AAAI.
[22] Bernhard Nebel,et al. Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..
[23] Hector J. Levesque,et al. Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..
[24] Enrico Franconi,et al. Walking through the semantics of frame-based description languages a case study , 1991 .
[25] Werner Nutt,et al. The Complexity of Concept Languages , 1997, KR.
[26] Sandro Bottarelli,et al. Terminological Information Management in ADKMS , 1990 .
[27] Bernhard Nebel,et al. An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.
[28] Franz Baader,et al. KRIS: Knowledge Representation and Inference System , 1991, SGAR.
[29] Christof Peltason. The BACK system—an overview , 1991, SGAR.
[30] Bernhard Nebel,et al. A Logical-Form and Knowledge-Base Design for Natural Language Generation , 1986, HLT.
[31] Hector J. Levesque,et al. An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.
[32] Eric Mays,et al. K-Rep system overview , 1991, SGAR.
[33] Bernhard Nebel,et al. Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.
[34] J. Thomsen. Semantic Validation of Inferences in Terminological Representation Systems , 1991 .