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