An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
III, 28 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 25 - 28
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
1993
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:23 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
Time of origin
- 1993
Other Objects (12)
Unification theory
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Combination techniques and decision problems for disunification
Extensions of concept languages for a mechanical engineering application
Unification theory
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Combination techniques and decision problems for disunification
Extensions of concept languages for a mechanical engineering application
Unification theory
A scheme for integrating concrete domains into concept languages
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Concept logics
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Terminological logics with modal operators
Embedding defaults into terminological knowledge representation formalisms
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Combination techniques and decision problems for disunification