Konferenzschrift | Kongress
Advances in artificial intelligence : proceedings
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540426127
3540426124
- Maße
-
24 cm
- Umfang
-
XIII, 470 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; 2174 : Lecture notes in artificial intelligence
- Schlagwort
-
Künstliche Intelligenz
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2001
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 12:16 MEZ
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
- Konferenzschrift
- Kongress
Beteiligte
- Baader, Franz
- KI (24 : 2001 : Wien)
- Springer
Entstanden
- 2001
Ähnliche Objekte (12)
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Automated deduction : proceedings
Combination of Compatible Reduction Orderings that are Total on Ground Terms
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Unification theory
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Automated deduction : proceedings
Combination of Compatible Reduction Orderings that are Total on Ground Terms
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Unification theory
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann
Die Verfassung der christlichen Kirche und der Geist des Christentums : Blitzstrahl wider Rom von Franz von Baader, aus den Jahren 1838 # 1840. In besonderer Schrift an das Licht gestellt auf Veranlassung des vom Papst auf den 8. Dezember 1869 ausgeschriebenen Concils von Professor (Dr. Franz Hoffmann.)
Logic for programming, artificial intelligence, and reasoning : 11th international conference ; proceedings
Automated deduction : proceedings
Combination of Compatible Reduction Orderings that are Total on Ground Terms
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Concept Descriptions with Set Constraints and Cardinality Constraints
On the Complexity of Boolean Unification
Terminological cycles in a description logic with existential restrictions
Unification theory
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Least common subsumers, most specific concepts, and role-value-maps in a description logic with existential restrictions and terminological cycles
Franz Baaders Kleine Schriften : Aus Zeitschriften zum erstenmale gesammelt und herausgegeben von Franz Hoffmann