- 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
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:08 MESZ
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.
Beteiligte
- Laux, Armin
- DFKI
Entstanden
- 1992
Ähnliche Objekte (12)
Terminological logics with modal operators
Terminological logics with modal operators
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
An alternative proof method for possibilistic logic and its application to terminological logics
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
Philosophical logics : a survey and a bibliography
Concept logics
Generating spatial descriptions for cross-modal references
Terminological logics with modal operators
Terminological logics with modal operators
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
An alternative proof method for possibilistic logic and its application to terminological logics
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
Philosophical logics : a survey and a bibliography
Concept logics
Generating spatial descriptions for cross-modal references
Terminological logics with modal operators
Terminological logics with modal operators
A hybrid approach for modeling uncertainty in terminological logics
Representing belief in multi-agent worlds via terminological logics
An alternative proof method for possibilistic logic and its application to terminological logics
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
Philosophical logics : a survey and a bibliography
Concept logics