Konferenzschrift
International Workshop on Description Logics : Bonn, May 28/29, 1994
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
IV, 118 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern, Saarbrücken
- (wer)
-
DFKI
- (wann)
-
1994
- Beteiligte Personen und Organisationen
-
Baader, Franz
Deutsches Forschungszentrum für Künstliche Intelligenz
International Workshop on Description Logics (1994 : Bonn)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:04 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
Beteiligte
- Baader, Franz
- Deutsches Forschungszentrum für Künstliche Intelligenz
- International Workshop on Description Logics (1994 : Bonn)
- DFKI
Entstanden
- 1994
Ähnliche Objekte (12)
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
A scheme for integrating concrete domains into concept languages
Qualifying number restrictions in concept languages
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Embedding defaults into terminological knowledge representation formalisms
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Combination techniques and decision problems for disunification
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
A scheme for integrating concrete domains into concept languages
Qualifying number restrictions in concept languages
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Embedding defaults into terminological knowledge representation formalisms
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Combination techniques and decision problems for disunification
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
A scheme for integrating concrete domains into concept languages
Qualifying number restrictions in concept languages
Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles
Cardinality restrictions on concepts
Embedding defaults into terminological knowledge representation formalisms
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"