Bernhard Nebel, Kai von Luck, Christof Peltason (Eds.): Proceedings of the International Workshop on Terminological Logics, DFKI-D-91-13, 1991. Also published as KIT Report and IWBS Report 184

• 
  Jürgen Allgayer: Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms. 5-11
• 
  Franz Baader: Cyclic, Transitive, and Concrete Extensions of Concept Languages. 12-16
• 
  Howard W. Beck: A Conceptual Clustering Algorithm for Semantic Data Models. 17-22
• 
  Sonia Bergamaschi, Claudio Sartori: Subsumption for Database Schema Design. 23-27
• 
  Ronald J. Brachman: Interests and Issues in Description (Terminological) Logics. 28-32
• 
  Amedeo Cappelli: Intensional Semantics and Relationships between Epistemology and Ontology. 33-38
• 
  Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: Tractable Concept Languages. 39-42
• 
  Enrico Franconi: Extending Hybridity within the YAK Knowledge Representation System. 43-46
• 
  Nicola Guarino: A Non-Standard Approach to terminological Knowledge: The ITL System. 47-50
• 
  Jochen Heinsohn: A Probabilistic Extension for Terminological Logics. 51-55
• 
  Carsten Kindermann: On Conceptual Indexing in Terminological Systems. 56-59
• 
  Rüdiger Klein: An Approach to the Integration of Term Description Languages and Clauses. 60-71
• 
  Alfred Kobsa: Reification in SB-ONE. 72-74
• 
  Robert M. MacGregor: Statement of Interest, Dagstuhl Workshop. 75-77
• 
  Eric Mays: Large Knowledge Base Management. 78-79
• 
  Deborah L. McGuinness: The CLASSIC Knowledge Representation System: Implementation, Applications, and Beyond. 80-86
• 
  Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt: The Complexity of Concept Languages (Extended Abstract). 87-90
• 
  Lin Padgham: Position Paper - Terminological Logics Workshop. 91-92
• 
  Peter F. Patel-Schneider: Handling Computational Difficulties with Reasoning in Terminological Logics. 93-96
• 
  Joachim Quantz: Modeling and Reasoning. 97-100
• 
  Klaus Schild: From Terminological Logics to Modal Logics. 101-104
• 
  Albrecht Schmiedel: Integrating Time into Terminological Logics. 105-108
• 
  Roland Seiffert: Sorted Feature terms and Relational Dependencies. 109-116
• 
  William R. Swartout: Using Terminological Logics in a Problem Solver. 117-119
• 
  Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich: Terminological Knowledge Representation: A Proposal for a Terminological Logic. 120-128