-
DISPONIBILITÀ IMMEDIATA
{{/disponibilitaBox}}
-
{{speseGratisLibroBox}}
{{/noEbook}}
{{^noEbook}}
-
Libro
-
- Genere: Libro
- Lingua: Inglese
- Editore: Springer
- Pubblicazione: 12/1982
- Edizione: Softcover reprint of the original 1st ed. 1982
GWAI-82
wahlster w. (curatore)
108,98 €
103,53 €
{{{disponibilita}}}
SOMMARIO
Beschreiben und Verstehen Von Bildfolgen.- Knowledge Sources for Understanding and Describing Image Sequences (Hauptvortrag).- On the Selection of Verbs for Natural Language Description of Traffic Scenes.- Symbolic Description and Matching of Image Sequences.- Akquisition und Repräsentation von Wissen.- Some Fundamental Issues in Knowledge Representation (Hauptvortrag).- Konsistenzüberprüfung bei sich verändernden Wissensbasen.- Automatische Akquisition von inferentiellem Wissen.- Zur Repräsentation indefinit deskribierter Objekte in Kl-Systemen.- N.N.: A View of Planning in Chess.- Unifikation und Deduktion.- Universal Unification (Hauptvortrag).- Der META-Beweiser für die Zahlentheorie.- Proofs by Induction in ‘Fairly’ Specified Equational Theories.- Inductive Inference in Finite Algebraic Structures.- Universal Unification and a Class of Equational Theories.- Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets.- NatÃœrlichsprachliche systeme.- Rekonstruktion aufgabenorientierter Dialoge mit einem mehrstufigen Parsing- Algorithmus auf der Grundlage kaskadierter ATNs.- ATN-Steuerung durch Kasusrahmen.- Ellipsenrekonstruktion im Kotext: Forderungen an eine Ellipsenkomponente und ihre Realisierung in SWYSS.- Natural Language Access to PROLOG Database Systems.ALTRE INFORMAZIONI
- Condizione: Nuovo
- ISBN: 9783540119609
- Collana: Informatik-Fachberichte
- Dimensioni: 244 x 170 mm
- Formato: Brossura
- Illustration Notes: VI, 246 p. 1 illus.
- Pagine Arabe: 246
- Pagine Romane: vi