- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
31 S.
- Language
-
Deutsch
- Keyword
-
Künstliche Intelligenz ; Default-Logik ; Formale Semantik ; Terminologische Logik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
1992
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:01 PM CEST
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
- Baader, Franz
- Hollunder, Bernhard
- DFKI
Time of origin
- 1992
Other Objects (12)
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
Terminological logics with modal operators
Terminological logics with modal operators
A semantics for open normal defaults via a modified preferential approach
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Concept logics
Cardinality restrictions on concepts
Unification in the union of disjoint equational theories : combining decision procedures
Qualifying number restrictions in concept languages
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
Terminological logics with modal operators
Terminological logics with modal operators
A semantics for open normal defaults via a modified preferential approach
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Concept logics
Cardinality restrictions on concepts
Unification in the union of disjoint equational theories : combining decision procedures
Qualifying number restrictions in concept languages
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
Terminological logics with modal operators
Terminological logics with modal operators
A semantics for open normal defaults via a modified preferential approach
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Unification theory
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Concept logics
Cardinality restrictions on concepts
Unification in the union of disjoint equational theories : combining decision procedures