- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
29 S.
- Sprache
-
Deutsch
- Anmerkungen
-
Literaturverz. S. 27 - 29
- Schlagwort
-
Künstliche Intelligenz
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern, Saarbrücken
- (wer)
-
DFKI
- (wann)
-
1994
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 17.02.2026, 13:08 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek.
Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Text
Beteiligte
- Baader, Franz (Verfasser)
- Laux, Armin (Verfasser)
- DFKI
Entstanden
- 1994
Ähnliche Objekte (12)
Terminological logics with modal operators
Concept logics
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
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"
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Integrating a modal logic of knowledge into terminological logics
International Workshop on Description Logics : Bonn, May 28/29, 1994
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Concept logics
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
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"
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Integrating a modal logic of knowledge into terminological logics
International Workshop on Description Logics : Bonn, May 28/29, 1994
Combination techniques and decision problems for disunification
Terminological logics with modal operators
Concept logics
Embedding defaults into terminological knowledge representation formalisms
Embedding defaults into terminological knowledge representation formalisms
How to prefer more specific defaults in terminological default logic
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"
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Integrating a modal logic of knowledge into terminological logics
International Workshop on Description Logics : Bonn, May 28/29, 1994