Konferenzschrift
Working notes of the KI'95 Workshop: KRDB 95 - Reasoning about structured objects: knowledge representation meets databases
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Erscheinungsjahr auf der Haupttitels.: 1995
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
[1996]
- Contributor
- URN
-
urn:nbn:de:101:1-20100329148
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:31 AM 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.
Object type
- Konferenzschrift
Associated
- Baader, Franz
- Deutsches Forschungszentrum für Künstliche Intelligenz
- KI (19 : 1995 : Bielefeld)
- DFKI
Time of origin
- [1996]
Other Objects (12)
![Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects : knowledge representation meets databases ; [Bielefeld, Germany, September 11 - 12, 1995]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects : knowledge representation meets databases ; [Bielefeld, Germany, September 11 - 12, 1995]
Unification theory
Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; [Saarbrücken, September 20 - 22, 1994]
A scheme for integrating concrete domains into concept languages
How to prefer more specific defaults in terminological default logic
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Combination techniques and decision problems for disunification
Unification in the union of disjoint equational theories : combining decision procedures
A semantics for open normal defaults via a modified preferential approach
Extensions of concept languages for a mechanical engineering application
Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects : knowledge representation meets databases ; [Bielefeld, Germany, September 11 - 12, 1995]
Unification theory
Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; [Saarbrücken, September 20 - 22, 1994]
A scheme for integrating concrete domains into concept languages
How to prefer more specific defaults in terminological default logic
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Combination techniques and decision problems for disunification
Unification in the union of disjoint equational theories : combining decision procedures
A semantics for open normal defaults via a modified preferential approach
Extensions of concept languages for a mechanical engineering application
Working notes of the KI'95 Workshop: KRDB'95 - Reasoning about structured objects : knowledge representation meets databases ; [Bielefeld, Germany, September 11 - 12, 1995]
Unification theory
Working notes of the KI'94 Workshop: KRDB'94 - Reasoning about structured objects : knowledge representation meets databases ; [Saarbrücken, September 20 - 22, 1994]
A scheme for integrating concrete domains into concept languages
How to prefer more specific defaults in terminological default logic
An empirical analysis of optimization techniques for terminological representation systems or: "making KRIS get a move on"
Terminological logics with modal operators
Qualifying number restrictions in concept languages
Combination techniques and decision problems for disunification
Unification in the union of disjoint equational theories : combining decision procedures
A semantics for open normal defaults via a modified preferential approach