- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
58 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 54 - 58
- Erschienen in
-
KIT-Report / Technische Universität Berlin ; 110 : KIT VM 11, KIT BACK
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
TU, Fachbereich 13, Projektgruppe KIT
- (wann)
-
1993
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:13 MESZ
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.
Beteiligte
- Quantz, Joachim
- Ryan, Mark
- TU, Fachbereich 13, Projektgruppe KIT
Entstanden
- 1993
Ähnliche Objekte (12)
A proof theory for preferential default description logics
Considerations on default logics
Consideration on default logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Undecidability of Fuzzy Description Logics
Computing updates in description logics
Approximation and Difference in Description Logics
Description Logics with Symbolic Number Restrictions
Semantic matchmaking with nonmonotonic description logics
Document verification with temporal description logics
Non-standard inferences in description logics
A proof theory for preferential default description logics
Considerations on default logics
Consideration on default logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Undecidability of Fuzzy Description Logics
Computing updates in description logics
Approximation and Difference in Description Logics
Description Logics with Symbolic Number Restrictions
Semantic matchmaking with nonmonotonic description logics
Document verification with temporal description logics
Non-standard inferences in description logics
A proof theory for preferential default description logics
Considerations on default logics
Consideration on default logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Undecidability of Fuzzy Description Logics
Computing updates in description logics
Approximation and Difference in Description Logics
Description Logics with Symbolic Number Restrictions
Semantic matchmaking with nonmonotonic description logics
Document verification with temporal description logics