- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
68 S.
- Language
-
Deutsch
- Bibliographic citation
-
KIT-Report / Technische Universität Berlin ; 117 : KIT VM 11
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
TU, Fachbereich 13, Projektgruppe KIT
- (when)
-
1994
- Creator
-
Suska, Sven
- 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:02 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
- Suska, Sven
- TU, Fachbereich 13, Projektgruppe KIT
Time of origin
- 1994
Other Objects (12)
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Proof reconstruction in classical and non-classical logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Semantic matchmaking with nonmonotonic description logics
Non-standard inferences in description logics
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Proof reconstruction in classical and non-classical logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Semantic matchmaking with nonmonotonic description logics
Non-standard inferences in description logics
Preferential default description logics
Consideration on default logics
Considerations on default logics
Model and proof theory of constructive ALC : constructive description logics
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Gödel Description Logics
The relationship between reasoning about privacy and default logics
Proof reconstruction in classical and non-classical logics
Computing updates in description logics
Undecidability of Fuzzy Description Logics
Semantic matchmaking with nonmonotonic description logics