On the expressivity of feature logics with negation, functional uncertainty, and sort equations
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
21 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 19 - 21
- Keyword
-
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
1991
- 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:25 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
Time of origin
- 1991
Other Objects (12)
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
International Workshop on Description Logics : Bonn, May 28/29, 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"
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
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
International Workshop on Description Logics : Bonn, May 28/29, 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"
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
Concept logics
Terminological logics with modal operators
Terminological logics with modal operators
Unification theory
International Workshop on Description Logics : Bonn, May 28/29, 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"
Qualifying number restrictions in concept languages
Combination techniques and decision problems for disunification
Unification in the union of disjoint equational theories : combining decision procedures