GWAI-82

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