An Empirical Analysis of Terminological Representation Systems

[1]  Wolfgang Wahlster,et al.  Plan-Based Integration of Natural Language and Graphics Generation , 1993, Artif. Intell..

[2]  Frank J. Oles,et al.  A Non-Well-Founded Approach to Terminological Cycles , 1992, AAAI.

[3]  Werner Nutt,et al.  The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..

[4]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[5]  E. André,et al.  WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation , 1992 .

[6]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[7]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[8]  J. Thomsen.  Semantic Validation of Inferences in Terminological Representation Systems , 1991 .

[9]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

[10]  Peter F. Patel-Schneider,et al.  The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.

[11]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[12]  Alfred Kobsa.  First experiences with the SB-ONE knowledge representation workbench in natural-language applications , 1991, SGAR.

[13]  Eric Mays,et al.  K-Rep system overview , 1991, SGAR.

[14]  Udo Pletat,et al.  The LILOG knowledge representation system , 1991, SGAR.

[15]  Brian R. Gaines.  Empirical investigation of knowledge representation servers: design issues and applications experience with KRS , 1991, SGAR.

[16]  Christof Peltason.  The BACK system—an overview , 1991, SGAR.

[17]  Enrico Franconi,et al.  Walking through the semantics of frame-based description languages a case study , 1991 .

[18]  James G. Schmolze,et al.  The NIKL experience 1 , 1991, Comput. Intell..

[19]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[20]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[21]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

[22]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

[23]  Sandro Bottarelli,et al.  Terminological Information Management in ADKMS , 1990 .

[24]  Franz Baader,et al.  Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.

[25]  Brian C. Williams,et al.  Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.

[26]  Peter F. Patel-Schneider,et al.  Term Subsumption Languages in Knowledge Representation , 1990, AI Mag..

[27]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

[28]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[29]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[30]  Albrecht Schmiedel,et al.  The BACK System Revisited , 1989 .

[31]  Bernd Owsnicki-Klewe,et al.  Configuration as a Consistency Maintenance Task , 1988, GWAI.

[32]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[33]  Martin Aigner.  Combinatorial search , 1988 .

[34]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[35]  Bernhard Nebel,et al.  A Logical-Form and Knowledge-Base Design for Natural Language Generation , 1986, HLT.

[36]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[37]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[38]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.