- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
34 S.
- Language
-
Deutsch
- Keyword
-
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern, Saarbrücken
- (who)
-
DFKI
- (when)
-
1992
- Creator
-
Laux, Armin (Verfasser)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 17.02.2026, 1:11 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek.
If you have any questions about the object, please contact the data provider.
Object type
- Text
Associated
- Laux, Armin (Verfasser)
- DFKI
Time of origin
- 1992
Other Objects (12)
Terminological logics with modal operators
Terminological logics with modal operators
An alternative proof method for possibilistic logic and its application to terminological logics
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
How to prefer more specific defaults in terminological default logic
Terminological reasoning and partial inductive definitions
Terminological cycles and the propositional μ-calculus
International Workshop on Terminological Logics : Schloss Dagstuhl, Germany, May 6 - 8, 1991
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
An investigation of the applicability of terminological reasoning to application-independent software-analysis
Philosophical logics : a survey and a bibliography
Terminological logics with modal operators
Terminological logics with modal operators
An alternative proof method for possibilistic logic and its application to terminological logics
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
How to prefer more specific defaults in terminological default logic
Terminological reasoning and partial inductive definitions
Terminological cycles and the propositional μ-calculus
International Workshop on Terminological Logics : Schloss Dagstuhl, Germany, May 6 - 8, 1991
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
An investigation of the applicability of terminological reasoning to application-independent software-analysis
Philosophical logics : a survey and a bibliography
Terminological logics with modal operators
Terminological logics with modal operators
An alternative proof method for possibilistic logic and its application to terminological logics
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
How to prefer more specific defaults in terminological default logic
Terminological reasoning and partial inductive definitions
Terminological cycles and the propositional μ-calculus
International Workshop on Terminological Logics : Schloss Dagstuhl, Germany, May 6 - 8, 1991
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
An investigation of the applicability of terminological reasoning to application-independent software-analysis