- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
34 S.
- Sprache
-
Deutsch
- Schlagwort
-
Künstliche Intelligenz
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern, Saarbrücken
- (wer)
-
DFKI
- (wann)
-
1992
- Urheber
-
Laux, Armin (Verfasser)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
- 17.02.2026, 12:11 UTC
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.
Objekttyp
- Text
Beteiligte
- Laux, Armin (Verfasser)
- DFKI
Entstanden
- 1992
Ähnliche Objekte (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
An investigation of the applicability of terminological reasoning to application-independent software-analysis
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
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
An investigation of the applicability of terminological reasoning to application-independent software-analysis
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning
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
An investigation of the applicability of terminological reasoning to application-independent software-analysis
A declarative integration of terminological, constraint-based, data-driven, and goal-directed reasoning